From 60a721a05b477ac1ae84407e8265297eecff311d Mon Sep 17 00:00:00 2001
From: Baptiste Wicht <baptiste.wicht@gmail.com>
Date: Thu, 30 Jun 2016 21:01:32 +0200
Subject: [PATCH] Add note

---
 kernel/include/spinlock.hpp | 1 +
 1 file changed, 1 insertion(+)

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(){