Index: libcfa/src/concurrency/kernel/startup.cfa
===================================================================
--- libcfa/src/concurrency/kernel/startup.cfa	(revision 358e1152002470ca3f713c07ccb231c390e19624)
+++ libcfa/src/concurrency/kernel/startup.cfa	(revision 1a7203d27940d3ed001ed5d90050f1b8c3c7b610)
@@ -132,14 +132,14 @@
 // Global state
 __thread struct KernelThreadData __cfaabi_tls __attribute__ ((tls_model ( "initial-exec" ))) @= {
-	.this_thread : NULL,								// cannot use 0p
-	.this_processor : NULL,
-	.sched_lock : false,
-	.preemption_state : { .disable_count : 1, .enabled : false, .in_progress : false },
+	.this_thread = NULL,								// cannot use 0p
+	.this_processor = NULL,
+	.sched_lock = false,
+	.preemption_state = { .disable_count = 1, .enabled = false, .in_progress = false },
 	// random_state uninitialized
-	.ready_rng : { .fwd_seed : 0, .bck_seed : 0 },
-	.this_stats : NULL,
+	.ready_rng = { .fwd_seed = 0, .bck_seed = 0 },
+	.this_stats = NULL,
 	#ifdef __CFA_WITH_VERIFY__
-		.in_sched_lock : false,
-		.sched_id : 0,
+		.in_sched_lock = false,
+		.sched_id = 0,
 	#endif
 };