Sebastian Sumpf f18285205c 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-27 14:52:52 +02:00
..
bbl	base-hw: BBL fix warnings	2017-08-30 10:00:00 +02:00
bootstrap	hw: enable FPU during CPU startup on x86	2019-05-27 14:52:52 +02:00
core	hw: enable FPU during CPU startup on x86	2019-05-27 14:52:52 +02:00
include	base-hw: fix compile errors with GCC 8.3.0	2019-05-27 14:46:54 +02:00
kernel/spec/muen	Update Muen port	2019-05-27 14:46:53 +02:00
lib	hw: replace lock-safe log variants in kernel	2019-04-09 12:30:35 +02:00
test	timeout: use uint64_t for all plain time values	2019-05-06 16:15:26 +02:00
timer/hw	hw: increase timing accuracy of kernel (fix #3081)	2019-03-18 15:56:23 +01:00