1#
2# Automatically generated make config: don't edit
3# Project Configuration
4# Wed Oct 12 11:02:57 2016
5#
6
7#
8# seL4 Kernel
9#
10# CONFIG_ARCH_ARM_V6 is not set
11CONFIG_ARCH_ARM_V7A=y
12# CONFIG_ARCH_ARM_V8A is not set
13CONFIG_KERNEL_MASTER=y
14CONFIG_WORD_SIZE=32
15
16#
17# seL4 System
18#
19# CONFIG_ARCH_X86 is not set
20CONFIG_ARCH_ARM=y
21CONFIG_ARCH_AARCH32=y
22# CONFIG_ARM1136JF_S is not set
23# CONFIG_ARM_CORTEX_A7 is not set
24# CONFIG_ARM_CORTEX_A8 is not set
25CONFIG_ARM_CORTEX_A9=y
26# CONFIG_ARM_CORTEX_A15 is not set
27# CONFIG_ARM_CORTEX_A53 is not set
28# CONFIG_ARM_CORTEX_A57 is not set
29# CONFIG_PLAT_EXYNOS54XX is not set
30CONFIG_PLAT_IMX6=y
31# CONFIG_PLAT_IMX7 is not set
32# CONFIG_PLAT_KZM is not set
33# CONFIG_PLAT_OMAP3 is not set
34# CONFIG_PLAT_AM335X is not set
35# CONFIG_PLAT_EXYNOS4 is not set
36# CONFIG_PLAT_EXYNOS5410 is not set
37# CONFIG_PLAT_EXYNOS5422 is not set
38# CONFIG_PLAT_EXYNOS5250 is not set
39# CONFIG_PLAT_APQ8064 is not set
40CONFIG_PLAT_SABRE=y
41# CONFIG_PLAT_WANDQ is not set
42# CONFIG_PLAT_IMX7_SABRE is not set
43# CONFIG_PLAT_ZYNQ7000 is not set
44# CONFIG_PLAT_ALLWINNERA20 is not set
45# CONFIG_PLAT_TK1 is not set
46# CONFIG_PLAT_HIKEY is not set
47# CONFIG_PLAT_BCM2837 is not set
48# CONFIG_ENABLE_A9_PREFETCHER is not set
49# CONFIG_EXPORT_PMU_USER is not set
50
51#
52# seL4 System Parameters
53#
54CONFIG_ROOT_CNODE_SIZE_BITS=16
55CONFIG_TIMER_TICK_MS=20
56CONFIG_TIME_SLICE=5
57CONFIG_RETYPE_FAN_OUT_LIMIT=256
58CONFIG_MAX_NUM_WORK_UNITS_PER_PREEMPTION=100
59CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS=167
60CONFIG_FASTPATH=y
61CONFIG_NUM_DOMAINS=1
62CONFIG_DOMAIN_SCHEDULE=""
63CONFIG_NUM_PRIORITIES=256
64CONFIG_MAX_NUM_NODES=1
65CONFIG_CACHE_LN_SZ=64
66
67#
68# Build Options
69#
70# CONFIG_VERIFICATION_BUILD is not set
71CONFIG_DEBUG_BUILD=y
72CONFIG_PRINTING=y
73# CONFIG_HARDWARE_DEBUG_API is not set
74CONFIG_IRQ_REPORTING=y
75CONFIG_COLOUR_PRINTING=y
76CONFIG_USER_STACK_TRACE_LENGTH=16
77# CONFIG_OPTIMISATION_Os is not set
78# CONFIG_OPTIMISATION_O0 is not set
79# CONFIG_OPTIMISATION_O1 is not set
80CONFIG_OPTIMISATION_O2=y
81# CONFIG_OPTIMISATION_O3 is not set
82# CONFIG_DANGEROUS_CODE_INJECTION is not set
83# CONFIG_DEBUG_DISABLE_L2_CACHE is not set
84# CONFIG_DEBUG_DISABLE_BRANCH_PREDICTION is not set
85# CONFIG_ENABLE_BENCHMARKS is not set
86CONFIG_NO_BENCHMARKS=y
87# CONFIG_BENCHMARK_GENERIC is not set
88# CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES is not set
89# CONFIG_BENCHMARK_TRACEPOINTS is not set
90# CONFIG_BENCHMARK_TRACK_UTILISATION is not set
91
92#
93# Errata
94#
95
96#
97# seL4 Libraries
98#
99
100#
101# libsel4
102#
103CONFIG_LIB_SEL4=y
104CONFIG_LIB_SEL4_INLINE_INVOCATIONS=y
105CONFIG_HAVE_LIB_SEL4=y
106CONFIG_LIB_CPIO=y
107CONFIG_HAVE_LIB_CPIO=y
108CONFIG_LIB_DATA_STRUCT=y
109CONFIG_LIB_ELF=y
110CONFIG_HAVE_LIB_ELF=y
111CONFIG_LIB_MUSL_C=y
112CONFIG_HAVE_LIBC=y
113CONFIG_HAVE_CRT=y
114CONFIG_LIB_SEL4_ALLOCMAN=y
115CONFIG_HAVE_LIB_SEL4_ALLOCMAN=y
116CONFIG_LIB_SEL4_DEBUG=y
117CONFIG_LIBSEL4DEBUG_ALLOC_BUFFER_ENTRIES=128
118CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_NONE=y
119# CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_TRACE is not set
120# CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_BACKTRACE is not set
121CONFIG_HAVE_LIB_SEL4_DEBUG=y
122CONFIG_LIB_SEL4_MUSLC_SYS=y
123CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES=1600000
124CONFIG_LIB_SEL4_MUSLC_SYS_DEBUG_HALT=y
125# CONFIG_LIB_SEL4_MUSLC_SYS_CPIO_FS is not set
126# CONFIG_LIB_SEL4_MUSLC_SYS_ARCH_PUTCHAR_WEAK is not set
127CONFIG_HAVE_LIB_SEL4_MUSLC_SYS=y
128CONFIG_LIB_SEL4_PLAT_SUPPORT=y
129CONFIG_LIB_SEL4_PLAT_SUPPORT_USE_SEL4_DEBUG_PUTCHAR=y
130CONFIG_LIB_SEL4_PLAT_SUPPORT_START=y
131CONFIG_LIB_SEL4_PLAT_SUPPORT_SEL4_START=y
132CONFIG_HAVE_LIB_SEL4_PLAT_SUPPORT=y
133CONFIG_LIB_SEL4_SIMPLE=y
134CONFIG_HAVE_LIB_SEL4_SIMPLE=y
135CONFIG_LIB_SEL4_SIMPLE_DEFAULT=y
136CONFIG_HAVE_LIB_SEL4_SIMPLE_DEFAULT=y
137CONFIG_LIB_SEL4_UTILS=y
138CONFIG_SEL4UTILS_STACK_SIZE=65536
139CONFIG_SEL4UTILS_CSPACE_SIZE_BITS=12
140# CONFIG_SEL4UTILS_PROFILE is not set
141CONFIG_HAVE_LIB_SEL4_UTILS=y
142CONFIG_LIB_SEL4_VSPACE=y
143CONFIG_HAVE_LIB_SEL4_VSPACE=y
144CONFIG_LIB_SEL4_VKA=y
145# CONFIG_LIB_VKA_ALLOW_MEMORY_LEAKS is not set
146CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_SLOTS_SZ=0
147CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_OBJS_SZ=0
148CONFIG_HAVE_LIB_SEL4_VKA=y
149CONFIG_LIB_REFOS_SYS=y
150# CONFIG_REFOS_SYS_FORCE_DEBUGPUTCHAR is not set
151CONFIG_LIB_REFOS=y
152CONFIG_LIB_UTILS=y
153# CONFIG_LIB_UTILS_NO_STATIC_ASSERT is not set
154CONFIG_HAVE_LIB_UTILS=y
155CONFIG_LIB_VTERM=y
156CONFIG_LIB_PLATSUPPORT=y
157CONFIG_HAVE_LIB_PLATSUPPORT=y
158
159#
160# seL4 RefOS Applications
161#
162CONFIG_APP_PROCESS_SERVER=y
163CONFIG_PROCSERV_INITIAL_MEM_SIZE=196608
164CONFIG_PROCSERV_MAX_VSPACES=64
165CONFIG_APP_SELF_LOADER=y
166CONFIG_APP_FILE_SERVER=y
167CONFIG_APP_CONSOLE_SERVER=y
168CONFIG_APP_TIMER_SERVER=y
169CONFIG_APP_TERMINAL=y
170CONFIG_APP_TEST_OS=y
171CONFIG_APP_TEST_USER=y
172CONFIG_APP_TETRIS=y
173CONFIG_APP_SNAKE=y
174# CONFIG_APP_NETHACK is not set
175
176#
177# seL4 RefOS Build Options
178#
179CONFIG_REFOS_DEBUG=y
180# CONFIG_REFOS_DEBUG_VERBOSE is not set
181CONFIG_REFOS_RUN_TESTS=y
182CONFIG_REFOS_INIT_TASK="/fileserv/terminal"
183CONFIG_REFOS_INIT_TASK_PRIO=50
184CONFIG_REFOS_ANSI_COLOUR_OUTPUT=y
185# CONFIG_REFOS_HALT_ON_ERRNO is not set
186CONFIG_REFOS_TIMEZONE="AEST-10"
187CONFIG_REFOS_STDIO_DSPACE_SERIAL=y
188CONFIG_LIB_ELFLOADER=y
189# CONFIG_IMAGE_BINARY is not set
190CONFIG_IMAGE_ELF=y
191CONFIG_ARM_ERRATA_764369=y
192
193#
194# Toolchain Options
195#
196CONFIG_CROSS_COMPILER_PREFIX="arm-linux-gnueabi-"
197# CONFIG_USE_RUST is not set
198CONFIG_KERNEL_COMPILER=""
199CONFIG_KERNEL_CFLAGS=""
200CONFIG_KERNEL_EXTRA_CPPFLAGS=""
201CONFIG_USER_COMPILER=""
202# CONFIG_USER_DEBUG_INFO is not set
203CONFIG_USER_EXTRA_CFLAGS=""
204CONFIG_USER_CFLAGS=""
205CONFIG_BUILDSYS_USE_CCACHE=y
206# CONFIG_USER_OPTIMISATION_Os is not set
207# CONFIG_USER_OPTIMISATION_O0 is not set
208# CONFIG_USER_OPTIMISATION_O1 is not set
209CONFIG_USER_OPTIMISATION_O2=y
210# CONFIG_USER_OPTIMISATION_O3 is not set
211# CONFIG_LINK_TIME_OPTIMISATIONS is not set
212# CONFIG_WHOLE_PROGRAM_OPTIMISATIONS_USER is not set
213# CONFIG_WHOLE_PROGRAM_OPTIMISATIONS_KERNEL is not set
214CONFIG_USER_DEBUG_BUILD=y
215# CONFIG_BUILDSYS_CPP_SEPARATE is not set
216