init.h

Go to the documentation of this file.

#pragma once
 
#include <kernel/cpu/cpu.h>
 
/**
 * @brief Initialization and `kmain()`.
 * @defgroup kernel_init Initialization
 * @ingroup kernel
 *
 * @{
 */
 
/**
 * @brief Early kernel initialization.
 *
 * This will do the absolute minimum to get the scheduler running.
 *
 * Having the scheduler running lets us load the boot thread which will jump to `kmain()` where we can do the rest
 * of the kernel initialization.
 *
 * Will be called in the `_start()` function found in `start.s` with interrupts disabled.
 */
_NORETURN void init_early(void);
 
/**
 * @brief Kernel main function.
 *
 * This is the entry point for the boot thread. When `init_early()` jumps to the boot thread we will end up here. We
 * then perform the rest of the kernel initialization here and start the init process.
 *
 * Will never return, the boot thread will exit itself when done.
 */
_NORETURN void kmain(void);
 
/** @} */