mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 08:25:38 +00:00
2e92b7ae32
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
This repository contains the port of Genode to the NOVA microhypervisor. For more information on this kernel, please refer to the official website. :[http://hypervisor.org]: Official website for the NOVA microhypervisor.