// Entry point of the TSOS kernel
#include "types/ktypes.h"


void kmain(void) {
    char_t* vbuf = (char_t*)0xb8000;
    vbuf += 480;    // We skip the log messages before us
    char_t *s = "Hello from the TSOS kernel!";
    for (int_t i = 0; s[i] != '\0'; i++) {
        *vbuf = s[i];
        vbuf += 2;
    }
}