chore: normalize panic messages

4 files changed, 10 insertions, 10 deletions

diff --git a/kernel/kapi/cpu.cpp b/kernel/kapi/cpu.cpp
index 44331908..61f13edc 100644
--- a/kernel/kapi/cpu.cpp
+++ b/kernel/kapi/cpu.cpp
@@ -16,7 +16,7 @@ namespace kapi::cpu
       kstd::println(kstd::print_sink::stderr, "\tWrite: {}", context.is_write_access);
       kstd::println(kstd::print_sink::stderr, "\tUser: {}", context.is_user_mode);
 
-      kapi::system::panic("Halting the system due to an unrecoverable page fault.");
+      kapi::system::panic("[OS:CPU] Halting the system due to an unrecoverable page fault.");
     }
   }  // namespace
 
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;
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;
diff --git a/kernel/kapi/memory.cpp b/kernel/kapi/memory.cpp
index a0445645..1c6fa2c8 100644
--- a/kernel/kapi/memory.cpp
+++ b/kernel/kapi/memory.cpp
@@ -27,17 +27,17 @@ namespace kapi::memory
 
       auto allocate_many(std::size_t) noexcept -> std::optional<std::pair<frame, std::size_t>> override
       {
-        system::panic("Tried to allocate frames without an active allocator.");
+        system::panic("[OS:MEM] Tried to allocate frames without an active allocator.");
       }
 
       auto mark_used(frame) -> void override
       {
-        system::panic("Tried to mark frame as used without an active allocator.");
+        system::panic("[OS:MEM] Tried to mark frame as used without an active allocator.");
       }
 
       auto release_many(std::pair<frame, std::size_t>) -> void override
       {
-        system::panic("Tried to release frames without an active allocator.");
+        system::panic("[OS:MEM] Tried to release frames without an active allocator.");
       }
     };
 
@@ -47,12 +47,12 @@ namespace kapi::memory
 
       auto map(page, frame, flags) -> std::byte * override
       {
-        system::panic("Tried to map a page without an active mapper.");
+        system::panic("[OS:MEM] Tried to map a page without an active mapper.");
       }
 
       auto unmap(page) -> void override
       {
-        system::panic("Tried to unmap a page without an active mapper.");
+        system::panic("[OS:MEM] Tried to unmap a page without an active mapper.");
       }
 
       auto try_unmap(page) noexcept -> bool override