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

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

    mem_setup();

    cmdline_kernel_setup();
    initrd_setup();

    tasking_setup();
    umode_setup();

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