genode/repos/base-nova/include
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 nova: support transfer of IA32_TSC_AUX MSR for vCPUs 2021-11-29 15:10:52 +01:00
nova_native_cpu Remove Cpu_session::Native_cpu definition from API 2021-01-25 13:58:09 +01:00
nova_native_pd Remove Pd_session::Native_pd definition from API 2021-01-25 12:51:54 +01:00
spec nova: add migration support for global threads 2020-10-09 13:33:36 +02:00