mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 13:47:56 +00:00
7f29eff75a
Some x86 machines do have a LAPIC speed < 1000 ticks per millisecond when configured to use the maximum divider (as it was always the case). But we need microseconds precision for the timeout framework. Thus, reduce the divider dynamically until the frequency fullfills our requirements. Ref #2400 |
||
|---|---|---|
| .. | ||
| doc | ||
| etc | ||
| include | ||
| lib/mk | ||
| ports | ||
| recipes | ||
| run | ||
| src | ||