kernel/main.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#include "string.h"
#include "tty.h"
#include "vga.h"

void main(void)
{
    tty_init();
    gdt_init();
    tty_puts("GDT initialized\n");
    tty_set_color(VGA_MAKE_COLOR(VGA_LIGHT_GRAY, VGA_BLACK));
    tty_puts("Hello, world!\n");
    while(1)
        ;
}