From e99eb52d9923606dd325862a5f2e649eee0b2d3e Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Fri, 24 Jul 2026 17:50:16 +0200
Subject: kapi: formally extract device registry

---
 kernel/kapi/devices/driver_registry.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kernel/kapi/devices/driver_registry.cpp')

diff --git a/kernel/kapi/devices/driver_registry.cpp b/kernel/kapi/devices/driver_registry.cpp
index 67da9877..5784694a 100644
--- a/kernel/kapi/devices/driver_registry.cpp
+++ b/kernel/kapi/devices/driver_registry.cpp
@@ -3,8 +3,8 @@
 #include <kapi/devices/bus.hpp>
 #include <kapi/devices/bus_protocol.hpp>
 #include <kapi/devices/device.hpp>
+#include <kapi/devices/device_registry.hpp>
 #include <kapi/devices/driver.hpp>
-#include <kapi/devices/manager.hpp>
 #include <kapi/system.hpp>
 #include <kapi/test_support/devices.hpp>
 
@@ -57,7 +57,7 @@ namespace kapi::devices
   {
     m_drivers.emplace_back(std::move(driver));
 
-    for (auto const & device : kapi::devices::all())
+    for (auto const & device : kapi::devices::device_registry::get().all())
     {
       if (device->state() != state::bound)
       {
-- 
cgit v1.2.3