7 Commits

Author	SHA1	Message	Date
Alexander Boettcher	ff506b0375	vm/x86: support extended fpu state transfer ... Extend Genode's vCPU FPU state and adjust all users to copy at most FPU data they actually support. Issue #5314	2024-10-07 15:54:59 +02:00
Alexander Boettcher	2e92b7ae32	nova: enable FPU AVX support ... Add extended FPU state detection and handling (via xsave and friends) to the kernel, which has to store/load more FPU state (~512 -> 2k++) during context switching of threads. Additional the referenced nova branch contains various optimization during VM destruction and cross core IPC resource caching. This FPU work is based upon upstream NOVA kernel and Hedron commits. Issue #5314 Fixes #3914	2024-08-27 15:29:37 +02:00
Norman Feske	5e862b2cd3	base/include: use C++20 function template syntax ... Issue #5227	2024-05-29 09:18:12 +02:00
Benjamin Lamowski	b277b84e19	base: extend Vcpu_state for base-hw x86 virtualization ... Changes are preliminary and will most certainly be removed when fully enabling the virtualization feature on base-hw. Ref #4826	2023-05-30 12:13:34 +02:00
Christian Helmuth	bfecea9001	vcpu_state: fix build errors with -std=gnu++20 ... Issue #4872 Issue #4871 Fixes #4878	2023-05-30 12:03:30 +02:00
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