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