From 3d09b0bd2c35740b34b87c1400e0a3d93647a5d2 Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Fri, 24 Jul 2026 19:27:20 +0200
Subject: kapi: extract real boot module registry singleton

---
 kernel/kapi/boot_modules.cpp | 41 -----------------------------------------
 1 file changed, 41 deletions(-)
 delete mode 100644 kernel/kapi/boot_modules.cpp

(limited to 'kernel/kapi/boot_modules.cpp')

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
-- 
cgit v1.2.3