#
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
|
#
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
|
#
7449e725 |
|
13-Dec-2015 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
libsel4sync: Move the implementation of semaphores to headers. This change allows the 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.
|