e4fcbb20b4
Intended to be used for debugging, but it's useful.
32 lines
602 B
C
32 lines
602 B
C
|
|
//#include <stdio.h>
|
|
|
|
#include <kernel/tty.h>
|
|
#include <kernel/gdt.h>
|
|
#include <kernel/serial.h>
|
|
|
|
int kernel_main(void) {
|
|
// Prepare the screen, and blank it out.
|
|
screen_initialize();
|
|
|
|
// Prepare the serial console.
|
|
init_serial();
|
|
serial_print(0x3F8, "[INFO] Serial ready.");
|
|
// Prepare the GDT
|
|
//gdt_install();
|
|
// Prepare interrupts
|
|
//idt_install();
|
|
|
|
//Print a copyright message.
|
|
term_writes("(c)");
|
|
term_setcolor(GREEN);
|
|
term_writes(" Project");
|
|
term_setcolor(RED);
|
|
term_writes("RED");
|
|
term_setcolor(WHITE);
|
|
term_writes(", 2019\n");
|
|
|
|
for(;;) {}
|
|
return 0;
|
|
}
|