sel4: enable fpu for wand_quad
This commit is contained in:
parent
89883a6988
commit
035439c710
|
@ -25,9 +25,11 @@
|
|||
#define CONFIG_NUM_PRIORITIES 256
|
||||
#define CONFIG_TESTPRINTER_REGEX ".*"
|
||||
#define CONFIG_APP_SEL4TEST 1
|
||||
@@ -93,3 +93,5 @@
|
||||
@@ -93,3 +93,7 @@
|
||||
#define CONFIG_BUILDSYS_USE_CCACHE 1
|
||||
#define CONFIG_MAX_NUM_NODES 1
|
||||
#define CONFIG_KERNEL_STACK_BITS 12
|
||||
+#define CONFIG_ENABLE_BENCHMARKS 1
|
||||
+#define CONFIG_BENCHMARK_TRACK_UTILISATION 1
|
||||
+#define CONFIG_HAVE_FPU 1
|
||||
+#define CONFIG_FPU_MAX_RESTORES_SINCE_SWITCH 64
|
||||
|
|
|
@ -1 +1 @@
|
|||
3c0361f787c7ecfebb40f1c64690c80a7e3a9b8c
|
||||
919f7abe5ec07414ed7ee9a47c4a52e86aa076ab
|
||||
|
|
|
@ -15,6 +15,8 @@ $(call check_python_module,six)
|
|||
|
||||
PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))
|
||||
|
||||
HASH_INPUT += $(REP_DIR)/patches/wand_quad.config
|
||||
|
||||
# adjust kernel config usable on qemu and on native hw, and add a 32bit version
|
||||
default: $(DOWNLOADS)
|
||||
$(VERBOSE)mkdir -p src/kernel/sel4/configs/pc99/x86_64
|
||||
|
|
Loading…
Reference in New Issue