blob: 752b070a429e04d3c6003087828f727efd51aa1a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#ifndef TEACHOS_KAPI_BOOT_MODULES_HPP
#define TEACHOS_KAPI_BOOT_MODULES_HPP
#include "kapi/boot_module/boot_module_registry.hpp" // IWYU pragma: export
namespace kapi::boot_modules
{
//! @qualifier platform-defined
//! Initialize the boot module registry.
//!
//! @note This function must be implemented by the target platform.
//!
//! This function initializes the boot module registry, which is responsible for keeping track of the modules loaded
//! by the bootloader, and providing access to them for the rest of the kernel.
auto init() -> void;
//! @qualifier kernel-defined
//! Set the boot module registry
//!
//! @param registry A new boot module registry.
auto set_boot_module_registry(boot_module_registry & registry) -> void;
} // namespace kapi::boot_modules
#endif
|
