Index: libcfa/src/concurrency/kernel.cfa
===================================================================
--- libcfa/src/concurrency/kernel.cfa	(revision 5877b3ed96e7115eef2a9a5432532c8f3c29a7d1)
+++ libcfa/src/concurrency/kernel.cfa	(revision bb83b478f3b4399d8d5165aec5f3d29c2ca6514e)
@@ -10,6 +10,6 @@
 // Created On       : Tue Jan 17 12:27:26 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue May 26 22:05:19 2020
-// Update Count     : 59
+// Last Modified On : Thu Jul  9 06:22:54 2020
+// Update Count     : 66
 //
 
@@ -148,10 +148,9 @@
 //-----------------------------------------------------------------------------
 // Global state
-thread_local struct KernelThreadData kernelTLS __attribute__ ((tls_model ( "initial-exec" ))) = {
+thread_local struct KernelThreadData kernelTLS __attribute__ ((tls_model ( "initial-exec" ))) @= {
 	NULL,												// cannot use 0p
 	NULL,
 	NULL,
 	{ 1, false, false },
-	6u //this should be seeded better but due to a bug calling rdtsc doesn't work
 };