x86_page_table* __kernel_ptd;
-struct proc_info tmp;
-
extern void
__proc0(); /* proc0.c */
_k_init_mb_info->mmap_length / sizeof(multiboot_memory_map_t);
setup_memory((multiboot_memory_map_t*)_k_init_mb_info->mmap_addr, map_size);
-
- __kernel_ptd = cpu_rcr3();
-
- tmp = (struct proc_info){ .page_table = __kernel_ptd };
-
- __current = &tmp;
}
void
cake_init();
valloc_init();
+ sched_init();
+
// crt
tty_init(ioremap(VGA_FRAMEBUFFER, PG_SIZE));
tty_set_theme(VGA_COLOR_WHITE, VGA_COLOR_BLACK);
lxconsole_init();
- sched_init();
-
syscall_install();
spawn_proc0();
for (uintptr_t i = &__usrtext_start; i < &__usrtext_end; i += PG_SIZE) {
vmm_set_mapping(PD_REFERENCED, i, V2P(i), PG_PREM_UR, VMAP_NULL);
}
+
+ // reserve higher half
+ for (size_t i = L1_INDEX(KERNEL_MM_BASE); i < 1023; i++) {
+ assert(vmm_set_mapping(PD_REFERENCED, i << 22, 0, 0, VMAP_NOMAP));
+ }
}