Index: src/libcfa/concurrency/kernel.c
===================================================================
--- src/libcfa/concurrency/kernel.c	(revision 2701c913ea265aaa5daab981db74b2e6ef39b237)
+++ src/libcfa/concurrency/kernel.c	(revision 3d97b78af61b9bd6126e7c2c5dbd6dda7e46f328)
@@ -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 );
 	}