kernel/kmain.c


1
2
3
4
5
6
7
8
9
10
11
12
13

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

void kmain(void) {
  int i;
  int ret;

  printk("Kernel booted!\n\n");

  sched_init();
}