#include <kernel/con.h>

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

void kmain(void) {
  con_init();

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

  printf("Number: %s %04x\n", "test", 0x18C);
  printf("Number: %s %04X\n", "test", 0x18C);
  printf("Number: %s %#04x\n", "test", 0x18C);
  printf("Number: %s %#04X\n", "test", 0x18C);
}