From e27c43acc011b78d673c790a48b2a1b3f7b4797d Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 29 Aug 2013 12:30:10 +0200
Subject: [PATCH] hw: no implicit uint-to-int cast in signal submit

ref #528
---
 base-hw/src/core/kernel.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base-hw/src/core/kernel.cc b/base-hw/src/core/kernel.cc
index e9879102a..398c1b2de 100644
--- a/base-hw/src/core/kernel.cc
+++ b/base-hw/src/core/kernel.cc
@@ -1640,7 +1640,7 @@ void Signal_context::ack()
 
 void Signal_context::submit(unsigned const n)
 {
-	assert(_submits < -1 - n);
+	assert(_submits < (unsigned)~0 - n);
 	if (_killer) return;
 	_submits += n;
 	if (_await_ack) return;