1# 2# Automatically generated make config: don't edit 3# Project Configuration 4# Wed Oct 12 11:46:46 2016 5# 6 7# 8# seL4 Kernel 9# 10# CONFIG_ARCH_ARM_V6 is not set 11# CONFIG_ARCH_ARM_V7A is not set 12# CONFIG_ARCH_ARM_V8A is not set 13CONFIG_KERNEL_MASTER=y 14CONFIG_WORD_SIZE=32 15 16# 17# seL4 System 18# 19CONFIG_ARCH_X86=y 20# CONFIG_ARCH_ARM is not set 21CONFIG_ARCH_IA32=y 22# CONFIG_ARM1136JF_S is not set 23# CONFIG_ARM_CORTEX_A7 is not set 24# CONFIG_ARM_CORTEX_A8 is not set 25# CONFIG_ARM_CORTEX_A9 is not set 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 30# CONFIG_PLAT_IMX6 is not set 31# CONFIG_PLAT_IMX7 is not set 32CONFIG_PLAT_PC99=y 33CONFIG_IOMMU=y 34CONFIG_IRQ_PIC=y 35# CONFIG_IRQ_IOAPIC is not set 36CONFIG_MAX_NUM_IOAPIC=1 37# CONFIG_PAE_PAGING is not set 38CONFIG_SYSENTER=y 39CONFIG_FXSAVE=y 40# CONFIG_XSAVE is not set 41CONFIG_XSAVE_SIZE=512 42CONFIG_FSGSBASE_GDT=y 43# CONFIG_FSGSBASE_MSR is not set 44 45# 46# seL4 System Parameters 47# 48CONFIG_ROOT_CNODE_SIZE_BITS=16 49CONFIG_TIMER_TICK_MS=20 50CONFIG_TIME_SLICE=5 51CONFIG_RETYPE_FAN_OUT_LIMIT=256 52CONFIG_MAX_NUM_WORK_UNITS_PER_PREEMPTION=100 53CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS=167 54CONFIG_MAX_RMRR_ENTRIES=32 55CONFIG_FASTPATH=y 56CONFIG_NUM_DOMAINS=1 57CONFIG_DOMAIN_SCHEDULE="" 58CONFIG_NUM_PRIORITIES=256 59CONFIG_MAX_NUM_NODES=1 60CONFIG_CACHE_LN_SZ=64 61 62# 63# Build Options 64# 65# CONFIG_VERIFICATION_BUILD is not set 66CONFIG_DEBUG_BUILD=y 67CONFIG_PRINTING=y 68# CONFIG_HARDWARE_DEBUG_API is not set 69CONFIG_IRQ_REPORTING=y 70CONFIG_COLOUR_PRINTING=y 71CONFIG_USER_STACK_TRACE_LENGTH=16 72# CONFIG_OPTIMISATION_Os is not set 73# CONFIG_OPTIMISATION_O0 is not set 74# CONFIG_OPTIMISATION_O1 is not set 75CONFIG_OPTIMISATION_O2=y 76# CONFIG_OPTIMISATION_O3 is not set 77# CONFIG_DANGEROUS_CODE_INJECTION is not set 78# CONFIG_DEBUG_DISABLE_PREFETCHERS is not set 79# CONFIG_ENABLE_BENCHMARKS is not set 80CONFIG_NO_BENCHMARKS=y 81# CONFIG_BENCHMARK_GENERIC is not set 82# CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES is not set 83# CONFIG_BENCHMARK_TRACEPOINTS is not set 84# CONFIG_BENCHMARK_TRACK_UTILISATION is not set 85 86# 87# Errata 88# 89 90# 91# seL4 Libraries 92# 93 94# 95# libsel4 96# 97CONFIG_LIB_SEL4=y 98CONFIG_LIB_SEL4_INLINE_INVOCATIONS=y 99CONFIG_HAVE_LIB_SEL4=y 100CONFIG_LIB_CPIO=y 101CONFIG_HAVE_LIB_CPIO=y 102CONFIG_LIB_DATA_STRUCT=y 103CONFIG_LIB_ELF=y 104CONFIG_HAVE_LIB_ELF=y 105CONFIG_LIB_MUSL_C=y 106CONFIG_HAVE_LIBC=y 107CONFIG_HAVE_CRT=y 108CONFIG_LIB_SEL4_ALLOCMAN=y 109CONFIG_HAVE_LIB_SEL4_ALLOCMAN=y 110CONFIG_LIB_SEL4_DEBUG=y 111CONFIG_LIBSEL4DEBUG_ALLOC_BUFFER_ENTRIES=128 112CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_NONE=y 113# CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_TRACE is not set 114# CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_BACKTRACE is not set 115CONFIG_HAVE_LIB_SEL4_DEBUG=y 116CONFIG_LIB_SEL4_MUSLC_SYS=y 117CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES=1600000 118CONFIG_LIB_SEL4_MUSLC_SYS_DEBUG_HALT=y 119# CONFIG_LIB_SEL4_MUSLC_SYS_CPIO_FS is not set 120# CONFIG_LIB_SEL4_MUSLC_SYS_ARCH_PUTCHAR_WEAK is not set 121CONFIG_HAVE_LIB_SEL4_MUSLC_SYS=y 122CONFIG_LIB_SEL4_PLAT_SUPPORT=y 123CONFIG_LIB_SEL4_PLAT_SUPPORT_USE_SEL4_DEBUG_PUTCHAR=y 124CONFIG_LIB_SEL4_PLAT_SUPPORT_START=y 125CONFIG_LIB_SEL4_PLAT_SUPPORT_SEL4_START=y 126CONFIG_HAVE_LIB_SEL4_PLAT_SUPPORT=y 127CONFIG_LIB_SEL4_SIMPLE=y 128CONFIG_HAVE_LIB_SEL4_SIMPLE=y 129CONFIG_LIB_SEL4_SIMPLE_DEFAULT=y 130CONFIG_HAVE_LIB_SEL4_SIMPLE_DEFAULT=y 131CONFIG_LIB_SEL4_UTILS=y 132CONFIG_SEL4UTILS_STACK_SIZE=65536 133CONFIG_SEL4UTILS_CSPACE_SIZE_BITS=12 134# CONFIG_SEL4UTILS_PROFILE is not set 135CONFIG_HAVE_LIB_SEL4_UTILS=y 136CONFIG_LIB_SEL4_VSPACE=y 137CONFIG_HAVE_LIB_SEL4_VSPACE=y 138CONFIG_LIB_SEL4_VKA=y 139# CONFIG_LIB_VKA_ALLOW_MEMORY_LEAKS is not set 140CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_SLOTS_SZ=0 141CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_OBJS_SZ=0 142CONFIG_HAVE_LIB_SEL4_VKA=y 143CONFIG_LIB_REFOS_SYS=y 144# CONFIG_REFOS_SYS_FORCE_DEBUGPUTCHAR is not set 145CONFIG_LIB_REFOS=y 146CONFIG_LIB_UTILS=y 147# CONFIG_LIB_UTILS_NO_STATIC_ASSERT is not set 148CONFIG_HAVE_LIB_UTILS=y 149CONFIG_LIB_VTERM=y 150CONFIG_LIB_PLATSUPPORT=y 151CONFIG_LIB_PLAT_SUPPORT_SERIAL_PORT_X86_COM1=y 152# CONFIG_LIB_PLAT_SUPPORT_SERIAL_PORT_X86_COM2 is not set 153# CONFIG_LIB_PLAT_SUPPORT_SERIAL_PORT_X86_COM3 is not set 154# CONFIG_LIB_PLAT_SUPPORT_SERIAL_PORT_X86_COM4 is not set 155# CONFIG_LIB_PLAT_SUPPORT_SERIAL_TEXT_EGA is not set 156CONFIG_HAVE_LIB_PLATSUPPORT=y 157 158# 159# seL4 RefOS Applications 160# 161CONFIG_APP_PROCESS_SERVER=y 162CONFIG_PROCSERV_INITIAL_MEM_SIZE=196608 163CONFIG_PROCSERV_MAX_VSPACES=64 164CONFIG_APP_SELF_LOADER=y 165CONFIG_APP_FILE_SERVER=y 166CONFIG_APP_CONSOLE_SERVER=y 167CONFIG_APP_TIMER_SERVER=y 168CONFIG_APP_TERMINAL=y 169CONFIG_APP_TEST_OS=y 170# CONFIG_APP_TEST_USER is not set 171CONFIG_APP_TETRIS=y 172CONFIG_APP_SNAKE=y 173# CONFIG_APP_NETHACK is not set 174 175# 176# seL4 RefOS Build Options 177# 178CONFIG_REFOS_DEBUG=y 179# CONFIG_REFOS_DEBUG_VERBOSE is not set 180# CONFIG_REFOS_RUN_TESTS is not set 181CONFIG_REFOS_INIT_TASK="/fileserv/terminal" 182CONFIG_REFOS_INIT_TASK_PRIO=50 183CONFIG_REFOS_ENABLE_EGA=y 184CONFIG_REFOS_ANSI_COLOUR_OUTPUT=y 185# CONFIG_REFOS_HALT_ON_ERRNO is not set 186CONFIG_REFOS_TIMEZONE="AEST-10" 187# CONFIG_REFOS_STDIO_DSPACE_SERIAL is not set 188CONFIG_REFOS_STDIO_DSPACE_SCREEN=y 189CONFIG_REFOS_ENABLE_KEYBOARD=y 190 191# 192# Toolchain Options 193# 194CONFIG_CROSS_COMPILER_PREFIX="" 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="" 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