From 0824a76b4f7294a74f4728084ca13070a4c8e7da Mon Sep 17 00:00:00 2001 From: Felix Morgner Date: Sat, 29 Aug 2026 10:53:39 +0200 Subject: chore: normalize panic messages --- kernel/kapi/cpu.cpp | 2 +- kernel/kapi/devices/driver_registry.cpp | 4 ++-- kernel/kapi/devices/facet_registry.cpp | 4 ++-- kernel/kapi/memory.cpp | 10 +++++----- 4 files changed, 10 insertions(+), 10 deletions(-) (limited to 'kernel/kapi') 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> 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) -> 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 -- cgit v1.2.3