#
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>
|
#
135c651f |
|
27-Sep-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
pragma once and for all
|
#
0016dfc6 |
|
13-Jul-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix all the whitespace - remove trailing whitespace - remove duplicate blank lines - remove blank lines at end of files
|
#
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
|
#
dfeaaa40 |
|
09-Nov-2016 |
Stephen Sherratt <Stephen.Sherratt@data61.csiro.au> |
sel4sync: Comment explaining bin_sem value arg
|
#
425e4439 |
|
09-Nov-2016 |
Stephen Sherratt <Stephen.Sherratt@data61.csiro.au> |
sel4sync: Binary semaphore init'd with given value
|
#
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
|
#
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.
|
#
a3aa4c84 |
|
13-Dec-2015 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
libsel4sync: Move the implementation of binary semaphores to headers. This change allows the binary semaphore operations to be inlined into calling code. The effect of this commit has not been quantified, but the result for any calling code should be increased or unaffected performance. Semantics of the operations is unchanged.
|