/* kernel.c */
asm(
    ".text\n"
    ".code16\n"
);
#include <kernel.h>

void main() {
    printf($1 "Hello from C");
    while (true);

    return;
}