Alexander Boettcher 5440cd4b50 base: use blockade in thread ...

Issue #3612

2020-02-20 12:11:22 +01:00

..

bbl

base-hw: BBL fix warnings

2017-08-30 10:00:00 +02:00

bootstrap

base: add mutex as derivate of lock

2020-02-20 12:11:22 +01:00

core

hw: optimize ipc capability allocation

2020-02-20 12:11:22 +01:00

include

base: add mutex as derivate of lock

2020-02-20 12:11:22 +01:00

kernel/spec/muen

Update Muen port

2019-05-27 14:46:53 +02:00

lib

base: use blockade in thread

2020-02-20 12:11:22 +01:00

test

base-hw: Ada-compliant scheduler method signatures

2020-02-20 12:11:22 +01:00

timer/hw

hw: increase timing accuracy of kernel (fix #3081)

2019-03-18 15:56:23 +01:00