genode/repos/base-nova/src
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
..
core nova: enable FPU AVX support 2024-08-27 15:29:37 +02:00
include base: remove env_deprecated from signalling code 2023-07-14 12:06:31 +02:00
kernel/nova base-nova: prevent linker warning 2023-05-30 12:03:28 +02:00
lib/base nova: enable FPU AVX support 2024-08-27 15:29:37 +02:00
test/nova Replace use of 'typedef' by 'using' 2024-07-02 12:00:11 +02:00
timer/nova Remove '_drv' suffix 2024-06-20 12:54:30 +02:00