// Entry point of the TSOS kernel
#include "kernel/ktypes.h"
#include "kernel/drivers/vga/screen.h"


void kmain(void) {
    // Newline so we skip the log
    // messages from the bootloader
    kprint("\nTSOS Kernel is starting up");
}