portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Define CONFIG_MAX_NUM_NODES and CONFIG_KERNEL_STACK_BITS in plat/autoconf.h

Browse source 
For the sake of verification and standalone kernel builds
This commit is contained in:
Hesham Almatary 2017-01-17 17:03:07 +11:00
parent e9922b7456
commit be77963e5b
12 changed files with 24 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
include/plat/am335x/autoconf.h
View file

@ -87,3 +87,5 @@
#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1
#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
#define CONFIG_BUILDSYS_USE_CCACHE 1
#define CONFIG_MAX_NUM_NODES 1
#define CONFIG_KERNEL_STACK_BITS 12

2
include/plat/apq8064/autoconf.h
View file

@ -91,3 +91,5 @@
#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1
#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
#define CONFIG_BUILDSYS_USE_CCACHE 1
#define CONFIG_MAX_NUM_NODES 1
#define CONFIG_KERNEL_STACK_BITS 12

2
include/plat/exynos4/autoconf.h
View file

@ -87,3 +87,5 @@
#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1
#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
#define CONFIG_BUILDSYS_USE_CCACHE 1
#define CONFIG_MAX_NUM_NODES 1
#define CONFIG_KERNEL_STACK_BITS 12

2
include/plat/exynos5/autoconf.h
View file

@ -92,3 +92,5 @@
#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1
#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
#define CONFIG_BUILDSYS_USE_CCACHE 1
#define CONFIG_MAX_NUM_NODES 1
#define CONFIG_KERNEL_STACK_BITS 12

2
include/plat/hikey/autoconf.h
View file

@ -92,3 +92,5 @@
#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1
#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
#define CONFIG_BUILDSYS_USE_CCACHE 1
#define CONFIG_MAX_NUM_NODES 1
#define CONFIG_KERNEL_STACK_BITS 12

2
include/plat/imx31/autoconf.h
View file

@ -88,3 +88,5 @@
#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1
#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
#define CONFIG_BUILDSYS_USE_CCACHE 1
#define CONFIG_MAX_NUM_NODES 1
#define CONFIG_KERNEL_STACK_BITS 12

2
include/plat/imx6/autoconf.h
View file

@ -92,3 +92,5 @@
#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1
#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
#define CONFIG_BUILDSYS_USE_CCACHE 1
#define CONFIG_MAX_NUM_NODES 1
#define CONFIG_KERNEL_STACK_BITS 12

2
include/plat/imx7/autoconf.h
View file

@ -87,3 +87,5 @@
#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1
#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
#define CONFIG_BUILDSYS_USE_CCACHE 1
#define CONFIG_MAX_NUM_NODES 1
#define CONFIG_KERNEL_STACK_BITS 12

2
include/plat/omap3/autoconf.h
View file

@ -87,3 +87,5 @@
#define CONFIG_PLAT_OMAP3 1
#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
#define CONFIG_BUILDSYS_USE_CCACHE 1
#define CONFIG_MAX_NUM_NODES 1
#define CONFIG_KERNEL_STACK_BITS 12

2
include/plat/pc99/autoconf.h
View file

@ -95,3 +95,5 @@
#define CONFIG_HUGE_PAGE 1
#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
#define CONFIG_BUILDSYS_USE_CCACHE 1
#define CONFIG_MAX_NUM_NODES 1
#define CONFIG_KERNEL_STACK_BITS 12

2
include/plat/tk1/autoconf.h
View file

@ -45,3 +45,5 @@
#define CONFIG_KERNEL_EXTRA_CPPFLAGS ""
#define CONFIG_ARM_MONITOR_HOOK 1
#define CONFIG_BUILDSYS_USE_CCACHE 1
#define CONFIG_MAX_NUM_NODES 1
#define CONFIG_KERNEL_STACK_BITS 12

2
include/plat/zynq7000/autoconf.h
View file

@ -87,3 +87,5 @@
#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1
#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
#define CONFIG_BUILDSYS_USE_CCACHE 1
#define CONFIG_MAX_NUM_NODES 1
#define CONFIG_KERNEL_STACK_BITS 12