Martin Stein 31af206a8c hw rpi: fix bug that caused bad timer precision ...

The kernel timer on RPI is able to measure time microseconds-precise.
Howeer, due to a bug, we dropped precision during the ticks-to-time
translation and return only milliseconds-precise time.

Ref #2400

2017-08-23 14:08:37 +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

hw: fix capability accounting of kernel/core

2017-06-19 12:35:55 +02:00

lib/mk

core: add map method to pd_session interface

2017-08-18 10:24:46 +02:00

ports

Update Muen port

2017-06-29 11:59:58 +02:00

recipes

depot: update recipe hashes

2017-08-18 10:25:28 +02:00

run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

src

hw rpi: fix bug that caused bad timer precision

2017-08-23 14:08:37 +02:00