From 059aba091675b54f0ab3ebe58cb3cf345ee16dbd Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Tue, 15 Oct 2013 17:13:53 +0200
Subject: [PATCH] hw: remove unused function handle_invalid_syscall

ref #874
---
 base-hw/src/core/kernel.cc | 6 ------
 1 file changed, 6 deletions(-)

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'
 	 */