1 #include "sys/boot/archinit.h"
5 ptr_t __multiboot_addr boot_data;
10 __multiboot_addr = mb;
12 cr4_setfeature(CR4_PCIDE);
14 ptr_t pagetable = kpg_init();
15 cpu_chvmspace(pagetable);
17 cr0_unsetfeature(CR0_WP | CR0_EM);
18 cr0_setfeature(CR0_MP);