genode/repos/base/include/spec
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
..
32bit/base Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
64bit/base Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
arm/cpu memcpy (arm): cache align and use pld for speedup 2022-04-13 08:08:01 +02:00
arm_64 Replace use of 'typedef' by 'using' 2024-07-02 12:00:11 +02:00
arm_v6 Replace use of 'typedef' by 'using' 2024-07-02 12:00:11 +02:00
arm_v7 Replace use of 'typedef' by 'using' 2024-07-02 12:00:11 +02:00
riscv Replace use of 'typedef' by 'using' 2024-07-02 12:00:11 +02:00
x86 nova: enable FPU AVX support 2024-08-27 15:29:37 +02:00
x86_32 Replace use of 'typedef' by 'using' 2024-07-02 12:00:11 +02:00
x86_64 Replace use of 'typedef' by 'using' 2024-07-02 12:00:11 +02:00