diff --git a/Kernel/Arch/aarch64/Dummy.cpp b/Kernel/Arch/aarch64/Dummy.cpp
index 2d13ddd1d8..945ef8fe5c 100644
--- a/Kernel/Arch/aarch64/Dummy.cpp
+++ b/Kernel/Arch/aarch64/Dummy.cpp
@@ -50,22 +50,6 @@ bool g_pci_access_is_disabled_from_commandline { false };
 
 }
 
-// kprintf.cpp
-void dbgputstr(StringView)
-{
-    TODO_AARCH64();
-}
-
-void dbgputstr(char const*, size_t)
-{
-    TODO_AARCH64();
-}
-
-void dbgputchar(char)
-{
-    TODO_AARCH64();
-}
-
 // x86 init
 
 multiboot_module_entry_t multiboot_copy_boot_modules_array[16];
diff --git a/Kernel/Arch/aarch64/kprintf.cpp b/Kernel/Arch/aarch64/kprintf.cpp
index fabe86a0c5..ea85134c07 100644
--- a/Kernel/Arch/aarch64/kprintf.cpp
+++ b/Kernel/Arch/aarch64/kprintf.cpp
@@ -55,12 +55,20 @@ void kernelcriticalputstr(char const* characters, size_t length)
 
 void kernelearlyputstr(char const* characters, size_t length)
 {
-    if (!characters)
-        return;
-
-    auto& uart = Kernel::RPi::UART::the();
-    uart.print_str(characters, length);
-
-    for (size_t i = 0; i < length; ++i)
-        console_out(characters[i]);
+    kernelputstr(characters, length);
+}
+
+void dbgputstr(char const* characters, size_t length)
+{
+    kernelputstr(characters, length);
+}
+
+void dbgputstr(StringView view)
+{
+    dbgputstr(view.characters_without_null_termination(), view.length());
+}
+
+void dbgputchar(char ch)
+{
+    kernelputstr(&ch, 1);
 }