Martin Stein 685f509a43 timer connection: no interpolation on arm w/o hw ... On ARM, we do not have a component-local hardware time-source. The ARM performance counter has no reliable frequency as the ARM idle command halts the counter. Thus, we do not do local time interpolation on ARM. Except we're on the HW kernel. In this case we can read out the kernel time instead. Ref #2435		2017-05-31 17:50:28 +02:00
..
doc	Update Muen port	2017-05-31 13:16:22 +02:00
etc	base: remove include/spec/* other than ISA	2017-05-31 13:16:01 +02:00
include	os/timer: interpolate time via timestamps	2017-05-31 13:16:11 +02:00
lib/mk	timer connection: no interpolation on arm w/o hw	2017-05-31 17:50:28 +02:00
ports	base-hw: RISC-V BBL	2017-05-31 13:16:24 +02:00
recipes	depot: update recipe hashes	2017-05-31 16:18:01 +02:00
run	Remove obsolete RAM/CAP services from run scripts	2017-05-31 13:16:22 +02:00
src	riscv: ISA-1.9.1 and GCC-6.3.0 adaptions	2017-05-31 13:16:24 +02:00