2019-01-15 14:44:16 +00:00
|
|
|
--- src/kernel/sel4/configs/imx6/imx6q_sabrelite/autoconf.h
|
|
|
|
|
+++ src/kernel/sel4/configs/imx6/imx6q_sabrelite/autoconf.h
|
2017-07-04 12:17:38 +00:00
|
|
|
@@ -41,6 +41,7 @@
|
|
|
|
|
#define CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_NONE 1
|
|
|
|
|
#define CONFIG_LIB_SEL4_UTILS 1
|
|
|
|
|
#define CONFIG_LIB_SEL4_VSPACE 1
|
|
|
|
|
+#define CONFIG_PRINTING 1
|
|
|
|
|
#define CONFIG_LIB_PLATSUPPORT 1
|
|
|
|
|
#define CONFIG_LIB_SEL4_ALLOCMAN 1
|
|
|
|
|
#define CONFIG_HAVE_LIB_SEL4_SIMPLE_DEFAULT 1
|
2019-01-15 14:44:16 +00:00
|
|
|
@@ -78,7 +78,7 @@
|
2017-07-04 12:17:38 +00:00
|
|
|
#define CONFIG_USER_OPTIMISATION_O2 1
|
|
|
|
|
#define CONFIG_LIB_CPIO 1
|
|
|
|
|
#define CONFIG_RETYPE_FAN_OUT_LIMIT 256
|
|
|
|
|
-#define CONFIG_ROOT_CNODE_SIZE_BITS 12
|
2017-09-06 12:00:43 +00:00
|
|
|
+#define CONFIG_ROOT_CNODE_SIZE_BITS 15
|
2017-07-04 12:17:38 +00:00
|
|
|
#define CONFIG_NUM_PRIORITIES 256
|
|
|
|
|
#define CONFIG_TESTPRINTER_REGEX ".*"
|
|
|
|
|
#define CONFIG_APP_SEL4TEST 1
|
2018-12-11 09:40:29 +00:00
|
|
|
@@ -93,3 +93,7 @@
|
2017-08-09 14:28:44 +00:00
|
|
|
#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
|
2018-12-11 09:40:29 +00:00
|
|
|
+#define CONFIG_HAVE_FPU 1
|
|
|
|
|
+#define CONFIG_FPU_MAX_RESTORES_SINCE_SWITCH 64
|
