ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-06 22:08:46 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
10,670 Commits 2 Branches 70 Tags 87 MiB
d610f9f4f1
Commit Graph

2 Commits

Author SHA1 Message Date
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
Christian Helmuth
219809ffed base: refactor VM/vCPU API 
Issue #3554
 2021-02-23 12:07:18 +01:00