diff options
| author | Felix Morgner <felix.morgner@ost.ch> | 2026-08-29 10:53:39 +0200 |
|---|---|---|
| committer | Felix Morgner <felix.morgner@ost.ch> | 2026-08-29 10:53:39 +0200 |
| commit | 0824a76b4f7294a74f4728084ca13070a4c8e7da (patch) | |
| tree | 94804942a9119ad8666f7b3cdf6b2f80503a2a93 /kernel/kapi/devices | |
| parent | 1e24d2b3cd4315fff4177c593bcfeef5b354f612 (diff) | |
| download | kernel-0824a76b4f7294a74f4728084ca13070a4c8e7da.tar.xz kernel-0824a76b4f7294a74f4728084ca13070a4c8e7da.zip | |
chore: normalize panic messages
Diffstat (limited to 'kernel/kapi/devices')
| -rw-r--r-- | kernel/kapi/devices/driver_registry.cpp | 4 | ||||
| -rw-r--r-- | kernel/kapi/devices/facet_registry.cpp | 4 |
2 files changed, 4 insertions, 4 deletions
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; |