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