access to tsc calibration info
alexander.boettcher at ...1...
Tue Mar 27 13:45:44 CEST 2018
On 26.03.2018 21:42, Steven Harp wrote:
> x86-specific question: Is there a generic way to get access to the
> TSC frequency calibration information, as provided by modern x86
> CPUs in MSRs? (User mode components cannot directly read these.)
> The information is readily available in Nova's hypervisor
> information page (Hip), conveniently exported as a ROM. But I
This hypervisor information page ROM is going to be dropped with 
(and therefore with the upcoming release).
Essential information about the boot, which can't be gathered on another
way by Genode, are reported as "platform_info" ROM. See the commits of .
http://www.genode-labs.com - http://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
More information about the users