From 0824a76b4f7294a74f4728084ca13070a4c8e7da Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Sat, 29 Aug 2026 10:53:39 +0200
Subject: chore: normalize panic messages

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

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

diff --git a/kernel/kapi/devices/facet_registry.cpp b/kernel/kapi/devices/facet_registry.cpp
index b2d12c86..2974c71e 100644
--- a/kernel/kapi/devices/facet_registry.cpp
+++ b/kernel/kapi/devices/facet_registry.cpp
@@ -29,7 +29,7 @@ namespace kapi::devices
   {
     if (registry.has_value())
     {
-      system::panic("[kernel] Device facet registry has already been initialized.");
+      system::panic("[OS:DEV] Device facet registry has already been initialized.");
     }
 
     registry.emplace();
@@ -39,7 +39,7 @@ namespace kapi::devices
   {
     if (!registry)
     {
-      system::panic("[kernel] Device facet registry has not been initialized.");
+      system::panic("[OS:DEV] Device facet registry has not been initialized.");
     }
 
     return *registry;
-- 
cgit v1.2.3