From b99b79d8080cc1491f96069677d9ce0b7775a4f0 Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Wed, 9 Sep 2026 23:02:20 +0200
Subject: chore: replace some naked pointers

The coding guidelines explicitly prohibit the use of "naked"/C-style
pointers. However, there were some prominent examples in the kapi and
the core kernel source. This changeset replaces them with the
appropriate smart pointer types.
---
 kernel/kapi/boot_modules/device.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'kernel/kapi/boot_modules/device.cpp')

diff --git a/kernel/kapi/boot_modules/device.cpp b/kernel/kapi/boot_modules/device.cpp
index dac24906..4bfce5f1 100644
--- a/kernel/kapi/boot_modules/device.cpp
+++ b/kernel/kapi/boot_modules/device.cpp
@@ -5,6 +5,7 @@
 #include <kapi/devices.hpp>
 
 #include <kstd/format.hpp>
+#include <kstd/memory.hpp>
 
 #include <cstddef>
 #include <string_view>
@@ -27,11 +28,11 @@ namespace kapi::boot_modules
     return m_module;
   }
 
-  auto device::query_facet(kapi::capabilities::facet_id facet) -> void *
+  auto device::query_facet(kapi::capabilities::facet_id facet) -> kstd::observer_ptr<void>
   {
     if (facet == boot_module_signature::id)
     {
-      return static_cast<boot_module_signature *>(this);
+      return kstd::make_observer<boot_module_signature>(this);
     }
 
     return kapi::devices::device::query_facet(facet);
-- 
cgit v1.2.3