mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-14 15:02:04 +00:00
ec5e1a6b4b
Upto now, bootstrap used the Programmable Interval Timer to set a suitable divider and determine the frequency of the Local APIC. The PIT is not available on recent x86_64 hardware anymore. Move Local APIC calibration to bootstrap and use the ACPI timer as a reference. Clean up hw's timer implementation a little and disable the PIT in bootstrap. Fixes #5215