On Wed, Aug 07, 2019 at 09:04:40AM +0200, Alexandre Ghiti wrote: > I took a look at how x86 deals with 5-level page table: it allows to handle > 5-level and 4-level at runtime by folding the last page table level (cf > Documentation/x86/x86_64/5level-paging.rst). So we might want to be able to > do the same and deal with that at runtime.
Yes, following the X86_5LEVEL model is the right thing.