#include <lunaix/mm/valloc.h>
#include <lunaix/mm/vmm.h>
#include <lunaix/peripheral/ps2kbd.h>
+#include <lunaix/peripheral/serial.h>
#include <lunaix/proc.h>
#include <lunaix/spike.h>
#include <lunaix/syscall.h>
#include <lunaix/syslog.h>
#include <lunaix/types.h>
+#include <sdbg/protocol.h>
#include <hal/acpi/acpi.h>
#include <hal/ahci/ahci.h>
acpi_init(_k_init_mb_info);
apic_init();
ioapic_init();
+ serial_init();
+ sdbg_init();
timer_init(SYS_TIMER_FREQUENCY_HZ);
clock_init();
ps2_kbd_init();
console_start_flushing();
console_flush();
+ cake_export();
unlock_reserved_memory();
for (size_t i = 0; i < (uintptr_t)(&__init_hhk_end); i += PG_SIZE) {
vmm_del_mapping(PD_REFERENCED, (void*)i);
pmm_free_page(KERNEL_PID, (void*)i);
}
+
+ for (size_t i = L1_INDEX(KERNEL_MM_BASE); i < 1023; i++) {
+ vmm_set_mapping(PD_REFERENCED, i << 22, 0, 0, VMAP_NOMAP);
+ }
}
void