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

---
 arch/x86_64/kapi/devices.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'arch/x86_64/kapi/devices.cpp')

diff --git a/arch/x86_64/kapi/devices.cpp b/arch/x86_64/kapi/devices.cpp
index 1e2fedd6..39dbc010 100644
--- a/arch/x86_64/kapi/devices.cpp
+++ b/arch/x86_64/kapi/devices.cpp
@@ -39,7 +39,7 @@ namespace kapi::devices
     for (auto driver : descriptors)
     {
       auto instance = driver->make_instance();
-      kstd::println("[x86_64:DRV] registering driver '{}' ({})", instance->name(), driver->name());
+      kstd::println("[ARCH:DRV] registering driver '{}' ({})", instance->name(), driver->name());
       kapi::devices::driver_registry::get().add(std::move(instance));
     }
   }
@@ -54,7 +54,7 @@ namespace kapi::devices
   {
     if (!cpu_bus)
     {
-      system::panic("[x86_64:DEV] The CPU topology has not yet been initialized!");
+      system::panic("[ARCH:DEV] The CPU topology has not yet been initialized!");
     }
 
     return cpu_bus;
@@ -64,7 +64,7 @@ namespace kapi::devices
   {
     if (cpu_bus)
     {
-      system::panic("[x86_64:DEV] The CPU topology has already been initialized!");
+      system::panic("[ARCH:DEV] The CPU topology has already been initialized!");
     }
 
     cpu_bus = kstd::make_shared<arch::bus::cpu>();
-- 
cgit v1.2.3