diff --git a/base-hw/src/core/kernel.cc b/base-hw/src/core/kernel.cc
index bdeefb592e..2ba0b6eeba 100644
--- a/base-hw/src/core/kernel.cc
+++ b/base-hw/src/core/kernel.cc
@@ -249,12 +249,6 @@ namespace Kernel
 	}
 
 
-	/**
-	 * Handle request of an unknown signal type
-	 */
-	void handle_invalid_syscall(Thread * const) { assert(0); }
-
-
 	/**
 	 * Do specific syscall for 'user', for details see 'syscall.h'
 	 */