#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 &
  {
    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