From b046c82f7529e2bcec18ea9a112d7ecbcf009c41 Mon Sep 17 00:00:00 2001
From: Timon Kruiper <timonkruiper@gmail.com>
Date: Mon, 2 May 2022 18:53:44 +0200
Subject: [PATCH] Kernel: Let Processor::is_initialized() of aarch64 return
 false

When calling dbgln(), the formatting code in AK/Format.h calls
Processor::is_initialized() to determine whether to add some text about
the current processor to the debug output. Instead of crashing, we just
return false, such that we can use dbgln() etc in the aarch64 Kernel.
---
 Kernel/Arch/aarch64/Processor.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Kernel/Arch/aarch64/Processor.h b/Kernel/Arch/aarch64/Processor.h
index 2973f19d5f..d828964299 100644
--- a/Kernel/Arch/aarch64/Processor.h
+++ b/Kernel/Arch/aarch64/Processor.h
@@ -66,7 +66,6 @@ public:
 
     ALWAYS_INLINE static bool is_initialized()
     {
-        VERIFY_NOT_REACHED();
         return false;
     }