From b312d810400f9be112f13df670d92aebfddc10a9 Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Tue, 21 Jul 2026 16:53:49 +0200
Subject: kernel/devfs: populate devfs via the device_number_registry

---
 kernel/kernel/filesystem/devfs/filesystem.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/kernel/kernel/filesystem/devfs/filesystem.cpp b/kernel/kernel/filesystem/devfs/filesystem.cpp
index e7aff5f3..5003dde6 100644
--- a/kernel/kernel/filesystem/devfs/filesystem.cpp
+++ b/kernel/kernel/filesystem/devfs/filesystem.cpp
@@ -2,6 +2,7 @@
 
 #include <kernel/filesystem/devfs/inode.hpp>
 #include <kernel/filesystem/device_inode.hpp>
+#include <kernel/filesystem/device_number_registry.hpp>
 #include <kernel/filesystem/error.hpp>
 #include <kernel/filesystem/filesystem.hpp>
 #include <kernel/filesystem/inode.hpp>
@@ -9,7 +10,6 @@
 #include <kernel/filesystem/vfs_types.hpp>
 
 #include <kapi/devices.hpp>
-#include <kapi/devices/device.hpp>
 
 #include <kstd/memory.hpp>
 #include <kstd/result.hpp>
@@ -94,9 +94,9 @@ namespace kernel::filesystem::devfs
   {
     m_inodes.clear();
 
-    for (auto const & entry : kapi::devices::interface_registry::get().all(kapi::devices::block_device::id))
+    for (auto const & entry : device_number_registry::get().all())
     {
-      if (auto device = entry.device().lock())
+      if (auto device = entry.device.lock())
       {
         m_inodes.push_back(kstd::make_shared<device_inode>(device));
       }
-- 
cgit v1.2.3