Index: src/libcfa/concurrency/kernel
===================================================================
--- src/libcfa/concurrency/kernel	(revision 81183038f1b7ed7a5af6658486d3db52f5d836e7)
+++ src/libcfa/concurrency/kernel	(revision c84e80aa83b9917829e6f5f923487d8ece403218)
@@ -18,6 +18,19 @@
 #define KERNEL_H
 
-extern struct thread_h * the_thread;
+#include <stdbool.h>
 
+struct processor {
+	struct proc_coroutine * cor;
+	unsigned int thread_index;
+	unsigned int thread_count;
+	struct thread_h * threads[10];
+	bool terminated;
+};
+
+void ?{}(processor * this);
+void ^?{}(processor * this);
+
+void scheduler_add( struct thread_h * thrd );
+void scheduler_remove( struct thread_h * thrd );
 void kernel_run( void );