29 lines
566 B
C
29 lines
566 B
C
#include <stdint.h>
|
|
|
|
#include <tianole/arch.h>
|
|
#include <tianole/early_log.h>
|
|
#include <tianole/kernel_init.h>
|
|
#include <tianole/mm.h>
|
|
#include <tianole/sched.h>
|
|
|
|
void kernel_main(const boot_info_t *boot_info)
|
|
{
|
|
early_log_init(boot_info);
|
|
early_log_puts("kernel_main entered\n");
|
|
arch_traps_init();
|
|
kernel_report_boot_state(boot_info);
|
|
mm_init(boot_info);
|
|
sched_init();
|
|
arch_timer_init();
|
|
|
|
#if KERNEL_TEST_TRAP
|
|
__asm__ volatile("ud2");
|
|
#endif
|
|
|
|
#if KERNEL_TEST_PAGE_FAULT
|
|
*(volatile uint64_t *)(uintptr_t)0xffffff1000000000ull = 1;
|
|
#endif
|
|
|
|
sched_start();
|
|
}
|