diff --git a/Kernel/Arch/aarch64/dummy.cpp b/Kernel/Arch/aarch64/dummy.cpp
index 5eb207d0d0..2afb223818 100644
--- a/Kernel/Arch/aarch64/dummy.cpp
+++ b/Kernel/Arch/aarch64/dummy.cpp
@@ -18,11 +18,6 @@
 #include <Kernel/Sections.h>
 #include <Kernel/UserOrKernelBuffer.h>
 
-// This is a temporary file to get a non-empty Kernel binary on aarch64.
-// The prekernel currently never jumps to the kernel. This is dead code.
-void dummy();
-void dummy() { }
-
 // Scheduler
 namespace Kernel {