Index: src/libcfa/concurrency/kernel
===================================================================
--- src/libcfa/concurrency/kernel	(revision de94a60491c1429f478b0393f4b57a8200aee916)
+++ src/libcfa/concurrency/kernel	(revision 59c034c60dc140fa869761785dbeccbd2624f249)
@@ -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 {