vulcanos/kernel/kernel_main.c

#include "drivers/tty.h"
#include "drivers/gdt.h"
#include "drivers/idt.h"
#include "libc/stdio.h"

void kernel_main() {
    clear_prompt();
    init_prompt(); // Initialize frame buffer
    gdt_setup(); // Setup Global Descriptor Table
    idt_setup(); // Setup Interrupt Descriptor Table

    puts("Hello World!");
}