summaryrefslogtreecommitdiff
path: root/kernel/kmain.c
blob: efdf8e68802220f6428d84e0b728dd04bbb5b4f3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
#include <kernel/con.h>

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

void kmain(void) {
  con_init();

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

  printf("Hello %s %s\n",  "world!", "second");
}