thread_local fields must be static, no need to move to the factory

diff --git a/src/kernel/context/ContextSwapped.hpp b/src/kernel/context/ContextSwapped.hpp
index 60d9987..ad618f9 100644 (file)
--- a/src/kernel/context/ContextSwapped.hpp
+++ b/src/kernel/context/ContextSwapped.hpp
@@ -47,7 +47,6 @@ public:
 
   void* get_stack();
 
 
   void* get_stack();
 

-  // FIXME: Killme

   static thread_local uintptr_t worker_id_;
 
 private:
   static thread_local uintptr_t worker_id_;
 
 private: