#
1baf531d |
|
22-Apr-2020 |
Axel Heider <axelheider@gmx.de> |
debug: add helper functions for cap type checking This reduces the usage of magic values to one file only. Signed-off-by: Axel Heider <axelheider@gmx.de>
|
#
890f7076 |
|
15-Sep-2020 |
Axel Heider <axelheider@gmx.de> |
trivial: formatting for style compliance Signed-off-by: Axel Heider <axelheider@gmx.de>
|
#
9214341c |
|
04-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses
|
#
5f1bb2bf |
|
04-Apr-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Use CONFIG_DEBUG_BUILD instead of SEL4_DEBUG_KERNEL SEL4_DEBUG_KERNEL is a historic define from before CONFIG_DEBUG_BUILD existed and is considered deprecated. With using a CONFIG_ variable this commit also adds #include <autoconf.h> where neccessary
|
#
cb0bf5d3 |
|
26-Oct-2016 |
Alex Legg <alexander.legg@nicta.com.au> |
SELFOUR-701 Condition variable implementation
|
#
1e5ef321 |
|
11-Oct-2016 |
Alex Legg <alexander.legg@nicta.com.au> |
SELFOUR-701 VKA managed versions of sem, bin_sem, mutex & recursive_mutex
|
#
91f9a461 |
|
08-Jun-2016 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
libsel4sync: Fix incorrect assertion. It looks as if this assertion was never updated to match altered cap type encoding in the kernel.
|
#
c1749ae6 |
|
19-Apr-2016 |
Stephen Sherratt <Stephen.Sherratt@nicta.com.au> |
libsel4sync: replaced aep with notification The only non-local changes in this commit are renaming of fields of sync_bin_sem_t and sync_recursive_mutex_t from aep to notification. Nothing outside of this library should operate on those fields directly.
|