Index: src/libcfa/concurrency/kernel.c
===================================================================
--- src/libcfa/concurrency/kernel.c	(revision 1ddbf3b62f7b382b7646fdf54b247335ad770718)
+++ src/libcfa/concurrency/kernel.c	(revision dafdbe72fd669e1ca4ecdbf4c5fda0a85f3dab50)
@@ -663,6 +663,7 @@
 	__cfaabi_dbg_print_safe("Kernel : Processor %p ready to sleep\n", this);
 
-	verify( ({int sval = 0; sem_getvalue(&this->idleLock, &sval); sval; }) < 65536);
-	sem_wait(&idleLock);
+	verify( ({int sval = 0; sem_getvalue(&this->idleLock, &sval); sval; }) < 200);
+	int __attribute__((unused)) ret = sem_wait(&idleLock);
+	verify(ret > 0 || errno == EINTR);
 
 	__cfaabi_dbg_print_safe("Kernel : Processor %p woke up and ready to run\n", this);
@@ -678,6 +679,7 @@
 void wake(processor * this) {
 	__cfaabi_dbg_print_safe("Kernel : Waking up processor %p\n", this);
-	sem_post(&this->idleLock);
-	verify( ({int sval = 0; sem_getvalue(&this->idleLock, &sval); sval; }) < 65536);
+	int __attribute__((unused)) ret = sem_post(&this->idleLock);
+	verify(ret > 0 || errno == EINTR);
+	verify( ({int sval = 0; sem_getvalue(&this->idleLock, &sval); sval; }) < 200);
 }