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

extern void userspace_init(void);

uint32_t ticks = 0;

void kmain(void) {
  con_init();

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

  userspace_init();
}