diff --git a/Kernel/Arch/aarch64/CrashHandler.cpp b/Kernel/Arch/aarch64/CrashHandler.cpp
index 67920e0d8d..0dec16dff1 100644
--- a/Kernel/Arch/aarch64/CrashHandler.cpp
+++ b/Kernel/Arch/aarch64/CrashHandler.cpp
@@ -13,7 +13,7 @@ namespace Kernel {
 
 void handle_crash(Kernel::RegisterState const&, char const*, int, bool)
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
 }
 
 }
diff --git a/Kernel/Arch/aarch64/Dummy.cpp b/Kernel/Arch/aarch64/Dummy.cpp
index c84cfcb7b0..0fa4c937d5 100644
--- a/Kernel/Arch/aarch64/Dummy.cpp
+++ b/Kernel/Arch/aarch64/Dummy.cpp
@@ -31,7 +31,7 @@ namespace Kernel {
 
 void get_fast_random_bytes(Bytes)
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
 }
 
 }
@@ -41,12 +41,12 @@ namespace Kernel {
 
 void Mutex::lock(Mode, [[maybe_unused]] LockLocation const& location)
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
 }
 
 void Mutex::unlock()
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
 }
 
 }
@@ -56,7 +56,7 @@ namespace Kernel {
 
 SpinlockProtected<Process::List>& Process::all_instances()
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
 }
 
 }
@@ -76,36 +76,36 @@ static Singleton<SpinlockProtected<Inode::AllInstancesList>> s_all_instances;
 
 SpinlockProtected<Inode::AllInstancesList>& Inode::all_instances()
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
     return s_all_instances;
 }
 
 LockRefPtr<Memory::SharedInodeVMObject> Inode::shared_vmobject() const
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
     return LockRefPtr<Memory::SharedInodeVMObject>(nullptr);
 }
 
 void Inode::will_be_destroyed()
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
 }
 
 ErrorOr<void> Inode::set_shared_vmobject(Memory::SharedInodeVMObject&)
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
     return {};
 }
 
 ErrorOr<size_t> Inode::read_bytes(off_t, size_t, UserOrKernelBuffer&, OpenFileDescription*) const
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
     return 0;
 }
 
 ErrorOr<size_t> Inode::write_bytes(off_t, size_t, UserOrKernelBuffer const&, OpenFileDescription*)
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
     return 0;
 }
 
diff --git a/Kernel/Arch/aarch64/Interrupts.cpp b/Kernel/Arch/aarch64/Interrupts.cpp
index a14db353f5..0a0a82f546 100644
--- a/Kernel/Arch/aarch64/Interrupts.cpp
+++ b/Kernel/Arch/aarch64/Interrupts.cpp
@@ -83,7 +83,7 @@ void register_generic_interrupt_handler(u8 interrupt_number, GenericInterruptHan
         if (!handler_slot->is_shared_handler()) {
             if (handler_slot->type() == HandlerType::SpuriousInterruptHandler) {
                 // FIXME: Add support for spurious interrupts on aarch64
-                VERIFY_NOT_REACHED();
+                TODO_AARCH64();
             }
             VERIFY(handler_slot->type() == HandlerType::IRQHandler);
             auto& previous_handler = *handler_slot;
diff --git a/Kernel/Arch/aarch64/PageDirectory.cpp b/Kernel/Arch/aarch64/PageDirectory.cpp
index c64e4edf04..99f6335a35 100644
--- a/Kernel/Arch/aarch64/PageDirectory.cpp
+++ b/Kernel/Arch/aarch64/PageDirectory.cpp
@@ -12,17 +12,17 @@ namespace Kernel::Memory {
 
 void PageDirectory::register_page_directory(PageDirectory*)
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
 }
 
 void PageDirectory::deregister_page_directory(PageDirectory*)
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
 }
 
 LockRefPtr<PageDirectory> PageDirectory::find_current()
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
     return nullptr;
 }
 
@@ -33,7 +33,7 @@ void activate_kernel_page_directory(PageDirectory const&)
 
 void activate_page_directory(PageDirectory const&, Thread*)
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
 }
 
 }
diff --git a/Kernel/Arch/aarch64/PageDirectory.h b/Kernel/Arch/aarch64/PageDirectory.h
index c05d406316..5f3da5e2a4 100644
--- a/Kernel/Arch/aarch64/PageDirectory.h
+++ b/Kernel/Arch/aarch64/PageDirectory.h
@@ -60,25 +60,25 @@ public:
     bool is_present() const { return (raw() & Present) == Present; }
     void set_present(bool) { }
 
-    bool is_user_allowed() const { VERIFY_NOT_REACHED(); }
+    bool is_user_allowed() const { TODO_AARCH64(); }
     void set_user_allowed(bool) { }
 
-    bool is_huge() const { VERIFY_NOT_REACHED(); }
+    bool is_huge() const { TODO_AARCH64(); }
     void set_huge(bool) { }
 
-    bool is_writable() const { VERIFY_NOT_REACHED(); }
+    bool is_writable() const { TODO_AARCH64(); }
     void set_writable(bool) { }
 
-    bool is_write_through() const { VERIFY_NOT_REACHED(); }
+    bool is_write_through() const { TODO_AARCH64(); }
     void set_write_through(bool) { }
 
-    bool is_cache_disabled() const { VERIFY_NOT_REACHED(); }
+    bool is_cache_disabled() const { TODO_AARCH64(); }
     void set_cache_disabled(bool) { }
 
-    bool is_global() const { VERIFY_NOT_REACHED(); }
+    bool is_global() const { TODO_AARCH64(); }
     void set_global(bool) { }
 
-    bool is_execute_disabled() const { VERIFY_NOT_REACHED(); }
+    bool is_execute_disabled() const { TODO_AARCH64(); }
     void set_execute_disabled(bool) { }
 
 private:
@@ -116,25 +116,25 @@ public:
     bool is_present() const { return (raw() & Present) == Present; }
     void set_present(bool) { }
 
-    bool is_user_allowed() const { VERIFY_NOT_REACHED(); }
+    bool is_user_allowed() const { TODO_AARCH64(); }
     void set_user_allowed(bool) { }
 
-    bool is_writable() const { VERIFY_NOT_REACHED(); }
+    bool is_writable() const { TODO_AARCH64(); }
     void set_writable(bool) { }
 
-    bool is_write_through() const { VERIFY_NOT_REACHED(); }
+    bool is_write_through() const { TODO_AARCH64(); }
     void set_write_through(bool) { }
 
-    bool is_cache_disabled() const { VERIFY_NOT_REACHED(); }
+    bool is_cache_disabled() const { TODO_AARCH64(); }
     void set_cache_disabled(bool) { }
 
-    bool is_global() const { VERIFY_NOT_REACHED(); }
+    bool is_global() const { TODO_AARCH64(); }
     void set_global(bool) { }
 
-    bool is_execute_disabled() const { VERIFY_NOT_REACHED(); }
+    bool is_execute_disabled() const { TODO_AARCH64(); }
     void set_execute_disabled(bool) { }
 
-    bool is_pat() const { VERIFY_NOT_REACHED(); }
+    bool is_pat() const { TODO_AARCH64(); }
     void set_pat(bool) { }
 
     bool is_null() const { return m_raw == 0; }
diff --git a/Kernel/Arch/aarch64/Processor.h b/Kernel/Arch/aarch64/Processor.h
index 57a2b07c47..d8ecba68db 100644
--- a/Kernel/Arch/aarch64/Processor.h
+++ b/Kernel/Arch/aarch64/Processor.h
@@ -52,22 +52,22 @@ public:
 
     ALWAYS_INLINE static void pause()
     {
-        VERIFY_NOT_REACHED();
+        TODO_AARCH64();
     }
     ALWAYS_INLINE static void wait_check()
     {
-        VERIFY_NOT_REACHED();
+        TODO_AARCH64();
     }
 
     ALWAYS_INLINE u8 physical_address_bit_width() const
     {
-        VERIFY_NOT_REACHED();
+        TODO_AARCH64();
         return 0;
     }
 
     ALWAYS_INLINE u8 virtual_address_bit_width() const
     {
-        VERIFY_NOT_REACHED();
+        TODO_AARCH64();
         return 0;
     }
 
@@ -103,13 +103,13 @@ public:
 
     ALWAYS_INLINE static FlatPtr current_in_irq()
     {
-        VERIFY_NOT_REACHED();
+        TODO_AARCH64();
         return 0;
     }
 
     ALWAYS_INLINE static u64 read_cpu_counter()
     {
-        VERIFY_NOT_REACHED();
+        TODO_AARCH64();
         return 0;
     }
 
@@ -165,7 +165,7 @@ public:
 
     static void deferred_call_queue(Function<void()> /* callback */)
     {
-        VERIFY_NOT_REACHED();
+        TODO_AARCH64();
     }
 
     [[noreturn]] static void halt();
diff --git a/Kernel/Arch/aarch64/SafeMem.cpp b/Kernel/Arch/aarch64/SafeMem.cpp
index 93167f1108..2ae30eb30f 100644
--- a/Kernel/Arch/aarch64/SafeMem.cpp
+++ b/Kernel/Arch/aarch64/SafeMem.cpp
@@ -11,13 +11,13 @@ namespace Kernel {
 
 bool safe_memset(void*, int, size_t, void*&)
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
     return false;
 }
 
 ssize_t safe_strnlen(char const*, unsigned long, void*&)
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
     return 0;
 }
 
@@ -30,31 +30,31 @@ bool safe_memcpy(void* dest_ptr, void const* src_ptr, unsigned long n, void*&)
 
 Optional<bool> safe_atomic_compare_exchange_relaxed(u32 volatile*, u32&, u32)
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
     return {};
 }
 
 Optional<u32> safe_atomic_load_relaxed(u32 volatile*)
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
     return {};
 }
 
 Optional<u32> safe_atomic_fetch_add_relaxed(u32 volatile*, u32)
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
     return {};
 }
 
 Optional<u32> safe_atomic_exchange_relaxed(u32 volatile*, u32)
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
     return {};
 }
 
 bool safe_atomic_store_relaxed(u32 volatile*, u32)
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
     return {};
 }
 
diff --git a/Kernel/Arch/aarch64/ScopedCritical.cpp b/Kernel/Arch/aarch64/ScopedCritical.cpp
index 0a65704f24..916e8c7ddb 100644
--- a/Kernel/Arch/aarch64/ScopedCritical.cpp
+++ b/Kernel/Arch/aarch64/ScopedCritical.cpp
@@ -15,23 +15,23 @@ ScopedCritical::~ScopedCritical() = default;
 
 ScopedCritical::ScopedCritical(ScopedCritical&& /*from*/)
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
 }
 
 ScopedCritical& ScopedCritical::operator=(ScopedCritical&& /*from*/)
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
     return *this;
 }
 
 void ScopedCritical::leave()
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
 }
 
 void ScopedCritical::enter()
 {
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
 }
 
 }
diff --git a/Kernel/Arch/aarch64/init.cpp b/Kernel/Arch/aarch64/init.cpp
index a01940205b..10057e612f 100644
--- a/Kernel/Arch/aarch64/init.cpp
+++ b/Kernel/Arch/aarch64/init.cpp
@@ -158,7 +158,7 @@ extern "C" [[noreturn]] void init()
     for (;;)
         asm volatile("wfi");
 
-    VERIFY_NOT_REACHED();
+    TODO_AARCH64();
 }
 
 class QueryFirmwareVersionMboxMessage : RPi::Mailbox::Message {
diff --git a/Kernel/Assertions.h b/Kernel/Assertions.h
index deddab93c0..aa0094f5e2 100644
--- a/Kernel/Assertions.h
+++ b/Kernel/Assertions.h
@@ -26,6 +26,7 @@ extern "C" {
 }
 
 #define TODO() __assertion_failed("TODO", __FILE__, __LINE__, __PRETTY_FUNCTION__)
+#define TODO_AARCH64() __assertion_failed("TODO_AARCH64", __FILE__, __LINE__, __PRETTY_FUNCTION__)
 
 #define VERIFY_INTERRUPTS_DISABLED() VERIFY(!(Processor::are_interrupts_enabled()))
 #define VERIFY_INTERRUPTS_ENABLED() VERIFY(Processor::are_interrupts_enabled())