Alexander Boettcher 5c27993884 nova: transfer guest fpu state via utcb ... instead via the hardware registers of the FPU. On Genode all components and so VMMs are built such, that the compiler may generate optimized code by using the FPU at any time. We had to make sure to save the FPU state as early as possible before the VMM component touches the FPU, to avoid corrupting & losing guest FPU state. This caused headache again and again. To avoid the uncertainty, we remove this feature and explicitly transfer the FPU state via the UTCB.		2023-09-29 12:21:04 +02:00
..
cap_map.h	base: avoid implicit conversions	2021-12-17 15:04:44 +01:00
capability_space.h	core: avoid null pointer reference warning	2019-01-07 12:25:44 +01:00
native_thread.h	nova: remove obsolete local vcpu case	2020-07-30 08:49:23 +02:00
receive_window.h	Follow practices suggested by "Effective C++"	2018-01-17 12:14:35 +01:00
stdint.h	Adjust file headers to refer to the AGPLv3	2017-02-28 12:59:29 +01:00
syscall-generic.h	nova: transfer guest fpu state via utcb	2023-09-29 12:21:04 +02:00
util.h	nova: fix syscall bindings with GCC 6	2017-05-31 13:15:52 +02:00