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