Index: libcfa/src/concurrency/invoke.h
===================================================================
--- libcfa/src/concurrency/invoke.h	(revision d43ed2c1be1c7d5fd598d86b4b620b8dbad68254)
+++ libcfa/src/concurrency/invoke.h	(revision 6b9daf17c16f80286e75923fbc4ee46f9dd72542)
@@ -59,5 +59,5 @@
 				volatile bool in_progress;
 			} preemption_state;
-		} kernelTLS;
+		} kernelTLS __attribute__ ((tls_model ( "initial-exec" )));
 	}
 
Index: libcfa/src/concurrency/kernel.cfa
===================================================================
--- libcfa/src/concurrency/kernel.cfa	(revision d43ed2c1be1c7d5fd598d86b4b620b8dbad68254)
+++ libcfa/src/concurrency/kernel.cfa	(revision 6b9daf17c16f80286e75923fbc4ee46f9dd72542)
@@ -57,5 +57,5 @@
 //-----------------------------------------------------------------------------
 // Global state
-thread_local struct KernelThreadData kernelTLS = {
+thread_local struct KernelThreadData kernelTLS __attribute__ ((tls_model ( "initial-exec" ))) = {
 	NULL,
 	NULL,
Index: libcfa/src/concurrency/kernel_private.hfa
===================================================================
--- libcfa/src/concurrency/kernel_private.hfa	(revision d43ed2c1be1c7d5fd598d86b4b620b8dbad68254)
+++ libcfa/src/concurrency/kernel_private.hfa	(revision 6b9daf17c16f80286e75923fbc4ee46f9dd72542)
@@ -79,5 +79,5 @@
 };
 
-extern volatile thread_local __cfa_kernel_preemption_state_t preemption_state;
+extern volatile thread_local __cfa_kernel_preemption_state_t preemption_state __attribute__ ((tls_model ( "initial-exec" )));
 
 //-----------------------------------------------------------------------------