genode-ehmry/repos/base-hw
Sebastian Sumpf e9c39980e8 hw: enable FPU during CPU startup on x86
Also disable TS (task switch) flag in cr0 during kernel initialization,
so FPU faults are not raised. This became necessary since GCC lately
aggressively generates FPU instructions at arbitrary places and also at
early kernel-bootstrapping stages.

fixes #3365
2019-05-22 09:35:56 +02:00
..
doc Update Muen port 2019-05-16 13:11:03 +02:00
etc kernel: differentiate board-specific components 2019-05-16 13:11:03 +02:00
include hw: remove implicit SoC-specific include path 2019-05-16 13:11:02 +02:00
lib/mk kernel: differentiate board-specific components 2019-05-16 13:11:03 +02:00
ports Update Muen port 2019-05-16 13:11:03 +02:00
recipes depot: update recipe hashes 2019-05-16 13:16:49 +02:00
run Remove obsolete RAM/CAP services from run scripts 2017-05-31 13:16:22 +02:00
src hw: enable FPU during CPU startup on x86 2019-05-22 09:35:56 +02:00