genode/repos/base-hw
Benjamin Lamowski 312b638220 base-hw: export Intel TSC platform information
Export TSC invariant and the frequency reported on Intel processors.
Currently lacks TSC calibration and reports a fixed frequency on AMD.

Ref #4826
2023-05-30 12:13:33 +02:00
..
board board: Rename virt_qemu to virt_qemu_<arch> 2022-08-17 12:03:26 +02:00
etc base: remove SPEC variables of boards (fix #3971) 2021-01-25 13:58:09 +01:00
include base-hw: x86: use Vcpu_state as Vm_state 2023-05-30 12:13:33 +02:00
lib/mk base-hw: implement VMCB data structure for AMD SVM 2023-05-30 12:13:33 +02:00
recipes depot: update recipe hashes 2023-04-26 11:58:16 +02:00
run Move cpu_quota.run from os to base-hw repository 2023-05-30 12:03:26 +02:00
src base-hw: export Intel TSC platform information 2023-05-30 12:13:33 +02:00