2022-02-02 08:22:28 +00:00
|
|
|
#include <idt.h>
|
|
|
|
#include <vga.h>
|
2022-02-02 18:10:52 +00:00
|
|
|
#include <paging.h>
|
2022-02-02 08:22:28 +00:00
|
|
|
#include <stdio.h>
|
|
|
|
#include <stdlib.h>
|
2022-02-09 17:33:06 +00:00
|
|
|
#include <serial.h>
|
2022-02-02 08:22:28 +00:00
|
|
|
|
|
|
|
void early_kernel_main() {
|
2022-02-09 16:20:45 +00:00
|
|
|
serial_init();
|
|
|
|
terminal_init();
|
2022-02-02 08:22:28 +00:00
|
|
|
idt_init();
|
2022-02-02 18:10:52 +00:00
|
|
|
paging_init();
|
2022-02-02 08:22:28 +00:00
|
|
|
}
|