mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-28 13:14:26 +00:00
The initial algorithm ported to hw seems to be correct in principle, however it does not work with nested virtualization. Clean up the code to make the different methods of obtaining the TSC frequencies more clear, and add warnings if a particular method has failed although it should be available. Fixes #5210