Index: src/libcfa/concurrency/kernel.c
===================================================================
--- src/libcfa/concurrency/kernel.c	(revision 2701c913ea265aaa5daab981db74b2e6ef39b237)
+++ src/libcfa/concurrency/kernel.c	(revision 1feb535fb19cf9656f8f85cf2ef61a8985f3bf97)
@@ -171,5 +171,8 @@
 		__cfaabi_dbg_print_safe("Kernel : core %p signaling termination\n", &this);
 		terminate(&this);
+		verify(this.do_terminate);
+		verify(this_processor != &this);
 		P( terminated );
+		verify(this_processor != &this);
 		pthread_join( kernel_thread, NULL );
 	}