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/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/CMakeLists.txt')

diff --git a/kernel/CMakeLists.txt b/kernel/CMakeLists.txt
index 082cb7be..f4d0d3b3 100644
--- a/kernel/CMakeLists.txt
+++ b/kernel/CMakeLists.txt
@@ -16,6 +16,7 @@ target_sources("kernel_lib" PRIVATE
     "kapi/devices/bus.cpp"
     "kapi/devices/cpu.cpp"
     "kapi/devices/device.cpp"
+    "kapi/devices/device_registry.cpp"
     "kapi/devices/driver.cpp"
     "kapi/devices/driver_registry.cpp"
     "kapi/devices/error.cpp"
-- 
cgit v1.2.3