genode/repos/os
Martin Stein 61f59818d3 pit/fiasco timeout: raise time error tolerance
On platforms that use the PIT timer driver, 'elapsed_ms' is pretty
inprecise/unsteady (up to 3 ms deviation) for a reason that is not
clearly determined yet. On Fiasco and Fiasco.OC, that use kernel timing,
it is the same. So, on these platforms, our locally interpolated time
seems to be fine but the reference time is bad. Until this is fixed, we
raise the error tolerance for these platforms in the run script.

Ref #2400
2017-06-29 11:59:59 +02:00
..
doc Remove obsolete RAM/CAP services from run scripts 2017-05-31 13:16:22 +02:00
include timeout lib: dynamic interpolation-factor shift 2017-06-29 11:59:54 +02:00
lib sd_card: cleanup driver library structure 2017-06-29 11:59:58 +02:00
recipes server/fs_report: write reports to file-systems 2017-06-19 12:35:54 +02:00
run pit/fiasco timeout: raise time error tolerance 2017-06-29 11:59:59 +02:00
src pit/fiasco timeout: raise time error tolerance 2017-06-29 11:59:59 +02:00
README API documentation refinements 2017-05-31 13:16:21 +02:00

This source-code repository contains genuine low-level OS components and
interfaces of Genode. It solely depends on the framework's base API.