Index: libcfa/src/concurrency/kernel.cfa
===================================================================
--- libcfa/src/concurrency/kernel.cfa	(revision f815c464a8afd853c286022287e629eef41dcc10)
+++ libcfa/src/concurrency/kernel.cfa	(revision 55d6affb3f75cf27d18f9eed349c4a01d3d684ca)
@@ -621,5 +621,5 @@
 		eventfd_t val;
 		val = 1;
-		eventfd_read( this->idle, &val );
+		eventfd_write( this->idle, val );
 	enable_interrupts( __cfaabi_dbg_ctx );
 }