kernel/kmain.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#include <kernel/con.h>
#include <stdint.h>
#include <sys/types.h>


uint32_t ticks = 0;

extern void userspace_init(void);

void kmain(void) {
  con_init();

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

  userspace_init();
}