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/driver_registry.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/kernel/kapi/devices/driver_registry.cpp b/kernel/kapi/devices/driver_registry.cpp
index 7abb121f..405596cd 100644
--- a/kernel/kapi/devices/driver_registry.cpp
+++ b/kernel/kapi/devices/driver_registry.cpp
@@ -38,7 +38,7 @@ namespace kapi::devices
   {
     if (registry.has_value())
     {
-      system::panic("[kernel] Device driver registry has already been initialized.");
+      system::panic("[OS:DRV] Device driver registry has already been initialized.");
     }
 
     registry.emplace();
@@ -48,7 +48,7 @@ namespace kapi::devices
   {
     if (!registry)
     {
-      system::panic("[kernel] Device driver registry has not been initialized.");
+      system::panic("[OS:DRV] Device driver registry has not been initialized.");
     }
 
     return *registry;
-- 
cgit v1.2.3