#include <kernel/con.h>

extern int printf(char *fmt, ...);

void kmain(void) {
  con_init();

  printf("Kernel booting...\n");
  printf("Kernel booted!\n");

  printf("%s %s %s\n%s %s %s\n",  "first", "second", "third", "fourth", "fifth", "sixth");
}