init.h

Go to the documentation of this file.

#pragma once
 
#include <kernel/cpu/cpu.h>
 
#include <boot/boot_info.h>
 
_NORETURN void init_early(const boot_info_t* bootInfo);
 
_NORETURN void kmain(const boot_info_t* bootInfo);