1 #include "sys/boot/archinit.h"
2 #include "asm/x86_cpu.h"
4 ptr_t __multiboot_addr boot_data;
11 cr4_setfeature(CR4_PCIDE);
13 ptr_t pagetable = kpg_init();
14 cpu_chvmspace(pagetable);
16 cr0_unsetfeature(CR0_WP | CR0_EM);
17 cr0_setfeature(CR0_MP);