| #
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.
|