ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-29 15:44:02 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sel4: fix configuration for imx7d sabre

Browse Source 
Ref #3292
This commit is contained in:
Stefan Kalkowski 2019-04-16 10:26:56 +02:00 committed by Christian Helmuth
parent cc64c43758
commit 95b9e0a0e2
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/base-sel4/patches/imx7d_sabre.config
View File

@ -17,11 +17,13 @@
#define CONFIG_NUM_PRIORITIES 256
#define CONFIG_TESTPRINTER_REGEX ".*"
#define CONFIG_APP_SEL4TEST 1
@@ -89,3 +90,7 @@
@@ -89,3 +90,9 @@
#define CONFIG_BUILDSYS_USE_CCACHE 1
#define CONFIG_MAX_NUM_NODES 1
#define CONFIG_KERNEL_STACK_BITS 12
+#define CONFIG_ARCH_AARCH32 1
+#define CONFIG_IPC_BUF_TPIDRURW 1
+#define CONFIG_ENABLE_BENCHMARKS 1
+#define CONFIG_BENCHMARK_TRACK_UTILISATION 1
+#define CONFIG_HAVE_FPU 1
+#define CONFIG_FPU_MAX_RESTORES_SINCE_SWITCH 64