Enable global bit for paging

diff --git a/kernel/src/boot.S b/kernel/src/boot.S
index 3becb43331b950eea55bab900a7ba7a6717c65fd..75cc0a03d60911e0080a747d3c945933770131fe 100644 (file)
--- a/kernel/src/boot.S
+++ b/kernel/src/boot.S
@@ -193,9 +193,10 @@ _start:
        mov $PML4T - KERNEL_VMA, %eax
        mov %eax, %cr3
 
-       # Enable PAE paging:
+       # Enable PAE paging, and global pages:
        mov %cr4, %eax
-       or $1 << 5, %eax
+       or $1 << 5, %eax # PAE
+       or $1 << 7, %eax # PGE
        mov %eax, %cr4
 
        # Set long mode bit: