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
28
29

#include "arch/arch.h"
#include "io/log.h"
#include "mem/buddymap.h"
#include "mem/memory.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_buddy_setup();
    mem_paging_setup();
    mem_slab_setup();

    cmdline_kernel_setup();

    tasking_setup();

    initrd_setup();
    umode_setup();

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