Sebastian Sumpf da17f2cbd3 hw: eager FPU switching for x86_64 ... 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		2019-05-27 14:53:32 +02:00
..
bbl	base-hw: BBL fix warnings	2017-08-30 10:00:00 +02:00
bootstrap	hw: disable alignment checking at earliest	2019-05-27 14:52:52 +02:00
core	hw: eager FPU switching for x86_64	2019-05-27 14:53:32 +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