Index: src/libcfa/concurrency/kernel.c
===================================================================
--- src/libcfa/concurrency/kernel.c	(revision d8548e26dec392bef45acc8a5f8a4baea00c9257)
+++ src/libcfa/concurrency/kernel.c	(revision a16764a6fbfe44300fc8834400a31c89befda091)
@@ -408,4 +408,12 @@
 	verify( !preemption_state.enabled );
 	lock( ready_queue_lock __cfaabi_dbg_ctx2 );
+	//TEMP hack to find a bug
+	if(this_processor != mainProcessor) {
+		if(ready_queue.head == mainThread) {
+			unlock( ready_queue_lock );
+			return NULL;
+		}
+	}
+
 	thread_desc * head = pop_head( ready_queue );
 	unlock( ready_queue_lock );