blob: a5862870e26e8eed941021a54191fe775c0f20f5 (
plain) (
tree)
|
|
#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();
}
|