From 15d38c630052f43c980bdea60723ce388077437f Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Sun, 26 Jul 2026 13:41:56 +0200
Subject: kernel: add devfs live-update tests

---
 kapi/kapi/devices.hpp | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'kapi')

diff --git a/kapi/kapi/devices.hpp b/kapi/kapi/devices.hpp
index 59fcc568..124cd2bb 100644
--- a/kapi/kapi/devices.hpp
+++ b/kapi/kapi/devices.hpp
@@ -34,6 +34,12 @@ namespace kapi::devices
   //! @return a shared pointer to the root bus.
   auto get_root_bus() -> kstd::shared_ptr<bus>;
 
+  //! Remove a device from the device tree.
+  //!
+  //! @param device The device to remove.
+  //! @return true iff. the device had a parent an was remove, false otherwise.
+  auto remove_device(device & device) -> bool;
+
   //! Publish the fact that a device supports a specific facet.
   //!
   //! @tparam Facet The facet type provided by the device.
-- 
cgit v1.2.3