From 1b73f80350ee03311a3fb9929e0b07d956a26012 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Mon, 19 Nov 2012 16:26:08 +0100
Subject: [PATCH] base-hw: Fix bug in 'thread_resume' syscall.

---
 base-hw/src/core/kernel.cc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/base-hw/src/core/kernel.cc b/base-hw/src/core/kernel.cc
index 82020ae4c4..6e56b8ffd0 100644
--- a/base-hw/src/core/kernel.cc
+++ b/base-hw/src/core/kernel.cc
@@ -1202,7 +1202,10 @@ namespace Kernel
 			 */
 			int resume()
 			{
-				assert (_state == AWAIT_RESUMPTION || _state == ACTIVE)
+				if (_state != AWAIT_RESUMPTION && _state != ACTIVE) {
+					PDBG("Unexpected thread state");
+					return -1;
+				}
 				cpu_scheduler()->insert(this);
 				if (_state == ACTIVE) return 1;
 				_state = ACTIVE;