genode/repos/base-hw/src
Stefan Kalkowski d7fa4cfb8b hw: enable eager FPU context switch for ARM
* Add an ieee754 FPU test
* Remove simple fpu test

Fix #2822
2018-11-29 11:54:31 +01:00
..
bbl base-hw: BBL fix warnings 2017-08-30 10:00:00 +02:00
bootstrap hw: enable eager FPU context switch for ARM 2018-11-29 11:54:31 +01:00
core hw: enable eager FPU context switch for ARM 2018-11-29 11:54:31 +01:00
include/base/internal Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
kernel/spec/muen Update Muen port 2017-06-29 11:59:58 +02:00
lib hw: enable l2-cache on Wandboard Quad (fix #1807) 2018-11-16 15:17:06 +01:00
test Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00