Stefan Kalkowski 3725e91603 hw: implement power-saving kernel lock for ARM smp ...

Thanks to former work of Martin Stein this commit finally incorporates a
non-spinning kernel lock on multi-core ARM platforms.

Fix #1313

2019-04-01 19:33:47 +02:00

..

bootstrap-hw.mk

hw_riscv: strictly separate machine and syscall ids

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

core-hw.mk

hw: implement power-saving kernel lock for ARM smp

2019-04-01 19:33:47 +02:00

ld-hw.mk

Genode application binary interface (ABI)

2016-12-23 16:50:28 +01:00

startup-hw.mk

Disambiguate kernel-specific file names

2016-12-23 16:51:32 +01:00

syscall-hw.mk

Genode application binary interface (ABI)

2016-12-23 16:50:28 +01:00