genode/repos/base-hw/src
Sebastian Sumpf 04969b6be0 base-hw: add trace execution time support
This enables the 'top' program on base-hw for debugging issue #3247 on
rpi.

Fixes #3572
2019-12-19 17:01:42 +01:00
..
bbl base-hw: BBL fix warnings 2017-08-30 10:00:00 +02:00
bootstrap hw: introduce virtualization support for ARMv8 2019-11-21 14:29:36 +01:00
core base-hw: add trace execution time support 2019-12-19 17:01:42 +01:00
include Align after template expansion 2019-12-19 16:59:03 +01:00
kernel/spec/muen Update Muen port 2019-05-27 14:46:53 +02:00
lib hw: introduce virtualization support for ARMv8 2019-11-21 14:29:36 +01:00
test timeout: use uint64_t for all plain time values 2019-05-06 16:15:26 +02:00
timer/hw hw: increase timing accuracy of kernel (fix #3081) 2019-03-18 15:56:23 +01:00