kernel/acpi: discover local interrupt controllers

1 files changed, 1 insertions, 31 deletions

diff --git a/arch/x86_64/src/devices/init.cpp b/arch/x86_64/src/devices/init.cpp
index 1099ad6..6cba986 100644
--- a/arch/x86_64/src/devices/init.cpp
+++ b/arch/x86_64/src/devices/init.cpp
@@ -1,10 +1,7 @@
 #include "arch/devices/init.hpp"
 
-#include "kapi/acpi.hpp"
-#include "kapi/boot.hpp"
 #include "kapi/devices.hpp"
 
-#include "arch/boot/boot.hpp"
 #include "arch/bus/isa.hpp"
 #include "arch/devices/legacy_pit.hpp"
 
@@ -22,34 +19,7 @@ namespace arch::devices
     constexpr auto pit_frequency_in_hz = std::uint32_t{100u};
   }
 
-  auto init_acpi_devices() -> void
-  {
-    auto const & mbi = kapi::boot::bootstrap_information.mbi;
-    auto system_description_pointer = static_cast<kapi::acpi::root_system_description_pointer const *>(nullptr);
-
-    if (auto const & xsdp = mbi->maybe_acpi_xsdp())
-    {
-      auto data = xsdp->pointer().data();
-      system_description_pointer = reinterpret_cast<kapi::acpi::root_system_description_pointer const *>(data);
-    }
-    else if (auto const & rsdp = mbi->maybe_acpi_rsdp())
-    {
-      auto data = rsdp->pointer().data();
-      system_description_pointer = reinterpret_cast<kapi::acpi::root_system_description_pointer const *>(data);
-    }
-
-    if (system_description_pointer)
-    {
-      if (!kapi::acpi::init(*system_description_pointer))
-      {
-        kstd::println(kstd::print_sink::stderr, "[x86_64:DEV] ACPI initialization failed. No tables loaded.");
-      }
-    }
-    else
-    {
-      kstd::println(kstd::print_sink::stderr, "[x86_64:DEV] No ACPI RSDP found. Most devices will not be available.");
-    }
-  }
+  auto init_acpi_devices() -> void {}
 
   auto init_legacy_devices() -> void
   {