Index: src/libcfa/concurrency/kernel
===================================================================
--- src/libcfa/concurrency/kernel	(revision de94a60491c1429f478b0393f4b57a8200aee916)
+++ src/libcfa/concurrency/kernel	(revision 1d7b0a8b3222b5be41c98932430124a3777a31a9)
@@ -145,4 +145,8 @@
 	__dllist_t(struct processor) idles;
 
+	// List of processors
+	__spinlock_t thread_list_lock;
+	__dllist_t(struct thread_desc) threads;
+
 	// Link lists fields
 	struct {