path: root/src/kernel.c

void main() {
  while (1);
}