mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-15 23:42:12 +00:00
To get the Time Stamp Counter's frequency, hw relied on a complex and incomplete algorithm. Since this is a one-time initialization issue, move TSC calibration to bootstrap and implement it using the ACPI timer. Issue #5215