genode/repos/base-nova/ports
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
..
nova.hash nova: enable FPU AVX support 2024-08-27 15:29:37 +02:00
nova.port nova: enable FPU AVX support 2024-08-27 15:29:37 +02:00