main.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

#include "arch/arch.h"
#include "io/log.h"
#include "mem/memory.h"
#include "mem/zone.h"
#include "boot/cmdline.h"
#include "tsk/tasking.h"
#include "ird/initrd.h"
#include "usr/umode.h"
#include "lib/jove.h"

void
kernel_main(void)
{
    serial_setup();
    //arch_tables_setup();

    mem_setup();

    cmdline_kernel_setup();

    tasking_setup();

    initrd_setup();
    umode_setup();

    kpanic("Reached end of kernel main\n");
}