mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 20:00:23 +00:00
da17f2cbd3
Since gcc 8.3.0 generates SSE instructions into kernel code, the kernel itself may raise FPU exceptions and/or corrupt user level FPU contexts thereby. Both things are not feasible, and therefore, lazy FPU switching becomes a no go for base-hw because we cannot avoid FPU instructions because of the entanglement of base-hw, base, and the tool chain (libgcc_eh.a). issue #3365