// C entry point of our kernel
#define VMEM_ADDR 0xb8000

void dummy_test_entrypoint(void) {
}


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