Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / 9c0d209d67adda2558db28f5abbae994770d0340 / libsel4sync
  1. 600fe15 convert to SPDX license headers by Gerwin Klein · 4 years, 1 month ago
  2. 1460a92 trivial: Fix import list in libsel4sync by Curtis Millar · 4 years, 6 months ago
  3. 1baf531 debug: add helper functions for cap type checking by Axel Heider · 5 years ago
  4. 890f707 trivial: formatting for style compliance by Axel Heider · 4 years, 6 months ago
  5. 38a475d mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS by Kent McLeod · 6 years ago
  6. 1a87b0f sem-bare.h: Use seL4_WaitWithMRs syscall for mcs by Kent McLeod · 6 years ago
  7. c18523b replace kernel_autoconf with sel4_autoconf by Yu Hou · 6 years ago
  8. 4f4c9c2 link kernel_autoconf explicitly by Yu Hou · 6 years ago
  9. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  10. 067dbb1 Ensure that semaphores do not rely on IPC buffers by Curtis Millar · 6 years ago
  11. 6289da1 Kbuild: Removed Kbuild by Adam Felizzi · 7 years ago
  12. fb47992 No functional change, just added an UNUSED modifier to the ep argument of the sync_sem_bare_trywait as it is not used (and the compiler report warnings about unused parameter) by Fabrizio Bertocci · 7 years ago
  13. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  14. dbe802b Add CMake build rules for various libraries by Adrian Danis · 8 years ago
  15. b52a7c4 Sort files to make build reproducible by Luke Mondy · 8 years ago
  16. 11cbb12 libsel4sync: Move OS agnostic to platsupport by Kent McLeod · 8 years ago
  17. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  18. 1cf1b26 Add actual config to libsel4sync Kconfig by Saggi Mizrahi · 8 years ago
  19. 9214341 Fix licenses by Anna Lyons · 8 years ago
  20. 5f1bb2b Use CONFIG_DEBUG_BUILD instead of SEL4_DEBUG_KERNEL by Adrian Danis · 8 years ago
  21. dfeaaa4 sel4sync: Comment explaining bin_sem value arg by Stephen Sherratt · 8 years ago
  22. 425e443 sel4sync: Binary semaphore init'd with given value by Stephen Sherratt · 8 years ago
  23. cb0bf5d SELFOUR-701 Condition variable implementation by Alex Legg · 8 years ago
  24. 1e5ef32 SELFOUR-701 VKA managed versions of sem, bin_sem, mutex & recursive_mutex by Alex Legg · 8 years ago
  25. 92952cd SELFOUR-701 Add VKA to dependencies for libsel4sync by Alex Legg · 8 years ago
  26. e6b5efa SELFOUR-700 Condition variable spin models by Alex Legg · 8 years ago
  27. 91f9a46 libsel4sync: Fix incorrect assertion. by Matthew Fernandez · 9 years ago
  28. c1749ae libsel4sync: replaced aep with notification by Stephen Sherratt · 9 years ago
  29. 7449e72 libsel4sync: Move the implementation of semaphores to headers. by Matthew Fernandez · 9 years ago
  30. 44629c2 libsel4sync: Move the implementation of bare semaphores to headers. by Matthew Fernandez · 9 years ago
  31. a3aa4c8 libsel4sync: Move the implementation of binary semaphores to headers. by Matthew Fernandez · 9 years ago
  32. 8678a7d libsel4sync: Move the implementation of bare binary semaphores to headers. by Matthew Fernandez · 9 years ago
  33. a942ea3 libsel4sync: Move the implementation of spinlocks to headers. by Matthew Fernandez · 9 years ago
  34. 468355b libsel4sync: Move the implementation of atomic wrappers to headers. by Matthew Fernandez · 9 years ago
  35. 04a9f97 libsel4sync: Fix mismatch between header prototype and implementation. by Matthew Fernandez · 9 years ago
  36. ee9eef0 Add 'libsel4sync/' from commit '9b06bb69efe097e60bf997d406b5f69cd3830da1' by Anna Lyons · 9 years ago