diff --git a/Kernel/UBSanitizer.cpp b/Kernel/UBSanitizer.cpp index c30f58436e..37873c4a41 100644 --- a/Kernel/UBSanitizer.cpp +++ b/Kernel/UBSanitizer.cpp @@ -5,8 +5,8 @@ */ #include +#include #include -#include #include using namespace Kernel; @@ -24,8 +24,10 @@ static void print_location(const SourceLocation& location) dbgln("KUBSAN: at {}, line {}, column: {}", location.filename(), location.line(), location.column()); } dump_backtrace(); - if (g_ubsan_is_deadly) - PANIC("UB is configured to be deadly."); + if (g_ubsan_is_deadly) { + dbgln("UB is configured to be deadly, halting the system."); + Processor::halt(); + } } void __ubsan_handle_load_invalid_value(const InvalidValueData&, ValueHandle) __attribute__((used));