43 lines
980 B
C
43 lines
980 B
C
#include <kernel/assert.h>
|
|
#include <kernel/cmdline.h>
|
|
#include <kernel/compiler.h>
|
|
#include <kernel/console.h>
|
|
#include <kernel/init.h>
|
|
#include <kernel/irq.h>
|
|
#include <kernel/mem.h>
|
|
#include <kernel/percpu.h>
|
|
#include <kernel/print.h>
|
|
#include <config.h>
|
|
|
|
static const char zinnia_banner[] =
|
|
"zinnia " ZINNIA_VERSION " (" ZINNIA_ARCH ", " ZINNIA_COMPILER_ID ", " ZINNIA_LINKER_ID ")";
|
|
|
|
[[__init]]
|
|
void kernel_early_init() {
|
|
percpu_bsp_early_init();
|
|
percpu_get()->online = true;
|
|
irq_lock();
|
|
}
|
|
|
|
[[noreturn]]
|
|
void kernel_main(struct boot_info* info) {
|
|
cmdline_parse(info->cmdline);
|
|
console_init();
|
|
kprintf("%s\n", zinnia_banner); // Say hello!
|
|
kprintf("Command line: \"%s\"\n", info->cmdline);
|
|
|
|
mem_init(info->mem_map, info->num_mem_maps, info->virt_base, info->phys_base, info->hhdm_base);
|
|
|
|
sched_init();
|
|
irq_unlock();
|
|
|
|
while (1) {}
|
|
}
|
|
|
|
[[noreturn]]
|
|
void kernel_main_task() {
|
|
while (1) {}
|
|
|
|
ASSERT(false, "Nothing to do");
|
|
}
|