mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
Perform all FPU-related setup in the Cpu class' init_fpu function instead of the general system bring-up assembly code. Set all required control register 0 and 4 flags according to Intel SDM Vol. 3A, sections 9.2 and 9.6 instead of only enabling FPU error reporting and OSFXSR.