kapi: extract real boot module registry singleton

1 files changed, 0 insertions, 41 deletions

diff --git a/kernel/kapi/boot_modules.cpp b/kernel/kapi/boot_modules.cpp
deleted file mode 100644
index 5629b77f..00000000
--- a/kernel/kapi/boot_modules.cpp
+++ /dev/null
@@ -1,41 +0,0 @@
-#include <kapi/boot_modules.hpp>
-
-#include <kapi/system.hpp>
-
-#include <optional>
-
-namespace
-{
-  constinit auto static registry = std::optional<kapi::boot_modules::boot_module_registry>{};
-}  // namespace
-
-namespace kapi::boot_modules
-{
-  auto set_boot_module_registry(boot_module_registry & new_registry) -> void
-  {
-    if (registry)
-    {
-      system::panic("[x86_64] Boot module registry has already been set.");
-    }
-
-    registry = new_registry;
-  }
-
-  auto get_boot_module_registry() -> boot_module_registry const &
-  {
-    if (!registry)
-    {
-      system::panic("[x86_64] Boot module registry has not been initialized.");
-    }
-
-    return *registry;
-  }
-}  // namespace kapi::boot_modules
-
-namespace kernel::tests::boot_modules
-{
-  auto deinit() -> void
-  {
-    registry.reset();
-  }
-}  // namespace kernel::tests::boot_modules