minios can cope with >4G CR3 since it never uses it

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>

diff --git a/extras/mini-os/arch/x86/x86_32.S b/extras/mini-os/arch/x86/x86_32.S
index 1dfaf12524801ba49e0ad5fb4b08bc4c03c1f239..e1426acac00603f27fb0f98dfc1d04b479264b15 100644 (file)
--- a/extras/mini-os/arch/x86/x86_32.S
+++ b/extras/mini-os/arch/x86/x86_32.S
@@ -8,7 +8,7 @@
        .ascii  ",VIRT_BASE=0x0" /* &_text from minios_x86_32.lds */
        .ascii  ",ELF_PADDR_OFFSET=0x0"
        .ascii  ",HYPERCALL_PAGE=0x2"
-       .ascii  ",PAE=yes"
+       .ascii  ",PAE=yes[extended-cr3]"
        .ascii  ",LOADER=generic"
        .byte   0
 .text