#include <stdio.h>

void kmain() {
  printf("Hello, world! 😃\r\n");

  // When this function returns, the machine will reboot.
  //
  // In a real program, you probably wouldn't return from 
  // this function!
}
