2019-07-03 18:12:57 +02:00
|
|
|
#include "drivers/tty.h"
|
2019-07-04 12:49:53 +02:00
|
|
|
#include "drivers/gdt.h"
|
2019-07-05 18:25:58 +02:00
|
|
|
#include "drivers/idt.h"
|
|
|
|
|
#include "drivers/isr.h"
|
2019-07-03 18:12:57 +02:00
|
|
|
#include "libc/stdio.h"
|
|
|
|
|
|
|
|
|
|
void kernel_main() {
|
|
|
|
|
clear_prompt();
|
2019-07-04 12:49:53 +02:00
|
|
|
init_prompt(); // Initialize frame buffer
|
|
|
|
|
gdt_setup(); // Setup Global Descriptor Table
|
2019-07-05 18:25:58 +02:00
|
|
|
idt_setup(); // Setup Interrupt Descriptor Table
|
2019-07-03 18:12:57 +02:00
|
|
|
|
|
|
|
|
puts("Hello World!");
|
|
|
|
|
}
|
