Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / 1a7bed9c4496fb6e6e722da807c71b917b9617ce / libsel4sync / include / sync
  1. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  2. 11cbb12 libsel4sync: Move OS agnostic to platsupport by Kent McLeod · 8 years ago
  3. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  4. 9214341 Fix licenses by Anna Lyons · 8 years ago
  5. 5f1bb2b Use CONFIG_DEBUG_BUILD instead of SEL4_DEBUG_KERNEL by Adrian Danis · 8 years ago
  6. dfeaaa4 sel4sync: Comment explaining bin_sem value arg by Stephen Sherratt · 8 years ago
  7. 425e443 sel4sync: Binary semaphore init'd with given value by Stephen Sherratt · 8 years ago
  8. cb0bf5d SELFOUR-701 Condition variable implementation by Alex Legg · 8 years ago
  9. 1e5ef32 SELFOUR-701 VKA managed versions of sem, bin_sem, mutex & recursive_mutex by Alex Legg · 8 years ago
  10. c1749ae libsel4sync: replaced aep with notification by Stephen Sherratt · 9 years ago
  11. 7449e72 libsel4sync: Move the implementation of semaphores to headers. by Matthew Fernandez · 9 years ago
  12. 44629c2 libsel4sync: Move the implementation of bare semaphores to headers. by Matthew Fernandez · 9 years ago
  13. a3aa4c8 libsel4sync: Move the implementation of binary semaphores to headers. by Matthew Fernandez · 9 years ago
  14. 8678a7d libsel4sync: Move the implementation of bare binary semaphores to headers. by Matthew Fernandez · 9 years ago
  15. a942ea3 libsel4sync: Move the implementation of spinlocks to headers. by Matthew Fernandez · 9 years ago
  16. 468355b libsel4sync: Move the implementation of atomic wrappers to headers. by Matthew Fernandez · 9 years ago
  17. 04a9f97 libsel4sync: Fix mismatch between header prototype and implementation. by Matthew Fernandez · 9 years ago
  18. ee9eef0 Add 'libsel4sync/' from commit '9b06bb69efe097e60bf997d406b5f69cd3830da1' by Anna Lyons · 9 years ago