From 296d58550e8e1202d83e66034c24e9454a1b67dc Mon Sep 17 00:00:00 2001 From: Lukas Oesch Date: Fri, 27 Feb 2026 23:23:18 +0100 Subject: - add boot_module_registry getter --- kapi/include/kapi/boot_module/boot_module_registry.hpp | 2 +- kapi/include/kapi/boot_modules.hpp | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-) (limited to 'kapi/include') diff --git a/kapi/include/kapi/boot_module/boot_module_registry.hpp b/kapi/include/kapi/boot_module/boot_module_registry.hpp index 3732a5f..eeb01ff 100644 --- a/kapi/include/kapi/boot_module/boot_module_registry.hpp +++ b/kapi/include/kapi/boot_module/boot_module_registry.hpp @@ -15,7 +15,7 @@ namespace kapi::boot_modules // ! providing access to them for the rest of the kernel. struct boot_module_registry { - using range_type = std::array; // TODO BA-FS26 use kstd::vector when available + using range_type = std::array; // TODO BA-FS26 use kstd::vector when available using value_type = range_type::value_type; using const_reference = range_type::const_reference; diff --git a/kapi/include/kapi/boot_modules.hpp b/kapi/include/kapi/boot_modules.hpp index 752b070..6eee169 100644 --- a/kapi/include/kapi/boot_modules.hpp +++ b/kapi/include/kapi/boot_modules.hpp @@ -21,5 +21,11 @@ namespace kapi::boot_modules //! @param registry A new boot module registry. auto set_boot_module_registry(boot_module_registry & registry) -> void; + //! @qualifier kernel-defined + //! Get the boot module registry. + //! + //! @returns The boot module registry. + auto get_boot_module_registry() -> boot_module_registry &; + } // namespace kapi::boot_modules #endif \ No newline at end of file -- cgit v1.2.3