23 lines
493 B
C
23 lines
493 B
C
#include <stdint.h>
|
|
|
|
#include <kernel/tty.h>
|
|
#include <stdio.h>
|
|
#include "serial.h"
|
|
#include "gdt.c"
|
|
#include "interrupts.c"
|
|
#include "timer.c"
|
|
#include "paging.h"
|
|
|
|
void kernel_early_main(void) {
|
|
gdt_init();
|
|
init_serial();
|
|
serial_printf("gdt initialized!\n");
|
|
idt_init();
|
|
serial_printf("idt initialized!\n");
|
|
init_timer(50); // Initialise timer to 50Hz
|
|
serial_printf("timer initialized!\n");
|
|
init_paging();
|
|
serial_printf("paging initialized!\n");
|
|
terminal_initialize();
|
|
}
|