ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-24 15:56:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
94a7c32fb4
genode/repos/base-nova/ports
History
Alexander Boettcher 533015b93e nova: support transfer of IA32_TSC_AUX MSR for vCPUs 
The 32-bit MSR is returned by rdtscp in ecx register and used to detect
the CPU ID the timestamp was taken on.

Issue #4314
2021-11-29 15:10:52 +01:00
..
nova.hash nova: support transfer of IA32_TSC_AUX MSR for vCPUs 2021-11-29 15:10:52 +01:00
nova.port nova: support transfer of IA32_TSC_AUX MSR for vCPUs 2021-11-29 15:10:52 +01:00