diff --git a/kernel/include/spinlock.hpp b/kernel/include/spinlock.hpp
index b8f3b24a..1ad36ee3 100644
--- a/kernel/include/spinlock.hpp
+++ b/kernel/include/spinlock.hpp
@@ -16,6 +16,7 @@ public:
     void acquire(){
         while(!__sync_bool_compare_and_swap(&lock, 0, 1));
         __sync_synchronize();
+        //TODO The last synchronize is probably not necessary
     }
 
     void release(){