Index: src/libcfa/concurrency/kernel.c
===================================================================
--- src/libcfa/concurrency/kernel.c	(revision f083335cbb2dd1289b04076c0103786b484d1d20)
+++ src/libcfa/concurrency/kernel.c	(revision e5d5272eaf163f7cdda41557fe573b774e03451a)
@@ -16,4 +16,5 @@
 //C Includes
 #include <stddef.h>
+#include <errno.h>
 extern "C" {
 #include <stdio.h>
@@ -663,6 +664,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 +680,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);
 }