init.h File Reference

#include <kernel/cpu/cpu.h>
#include <boot/boot_info.h>

Go to the source code of this file.

Functions
_NORETURN void	init_early (const boot_info_t *bootInfo)
	Early kernel initialization.
_NORETURN void	kmain (const boot_info_t *bootInfo)
	Kernel main function.