/* Begin kernel bootstrapping sequence */
boot_begin(bhctx);
- tty_init(ioremap(0xB8000, PAGE_SIZE));
-
/* Setup kernel memory layout and services */
kmem_init(bhctx);
- // FIXME this goes to hal/gfxa
- tty_set_theme(VGA_COLOR_WHITE, VGA_COLOR_BLACK);
-
boot_parse_cmdline(bhctx);
/* Prepare stack trace environment */
* and start geting into uspace
*/
boot_end(bhctx);
- boot_cleanup();
spawn_lunad();
}
kmem_init(struct boot_handoff* bhctx)
{
pte_t* ptep = mkptep_va(VMS_SELF, KERNEL_RESIDENT);
+
ptep = mkl0tep(ptep);
+ unsigned int i = ptep_vfn(ptep);
do {
+ if (l0tep_impile_vmnts(ptep)) {
+ ptep++;
+ continue;
+ }
+
#if LnT_ENABLED(1)
assert(mkl1t(ptep++, 0, KERNEL_DATA));
#elif LnT_ENABLED(2)
#else
assert(mklft(ptep++, 0, KERNEL_DATA));
#endif
- } while (ptep_vfn(ptep) < MAX_PTEN - 2);
+ } while (++i < MAX_PTEN);
// allocators
cake_init();