diff --git a/kernel/kernel/kernel.cpp b/kernel/kernel/kernel.cpp
index 08ce725db7..5c5e1382b3 100644
--- a/kernel/kernel/kernel.cpp
+++ b/kernel/kernel/kernel.cpp
@@ -79,9 +79,6 @@ static void parse_command_line()
 	}
 }
 
-extern "C" uint8_t g_userspace_start[];
-extern "C" uint8_t g_userspace_end[];
-
 TerminalDriver* g_terminal_driver = nullptr;
 
 static void init2(void*);