#include "device/serial.h"
#include "arch/processor.h"
#include "arch/cpu.h"
#include "memory.h"
#include "commandline.h"
#include "tasking.h"
#include "initrd.h"
#include "print.h"

/**Setup datastructures and other fields required for the execution manager
 * and interfaces used by init.*/
void
kernel_main(void)
{
    serial_setup();

    cpu_setup();
    processor_setup(proc_bsp);

    mm_setup_early();
    mm_setup();

    tasking_setup();
    kpanic("Reached end of kernel_main\n");
}

/**Kernel execution context that sets up init.*/
void
kernel_stage2(void)
{
    cmdline_kernel_setup();

    initrd_setup();

    extern void kinit(void);
    kinit();
}