#
# Automatically generated make config: don't edit
# Project Configuration
# Wed Oct 12 11:46:46 2016
#

#
# seL4 Kernel
#
# CONFIG_ARCH_ARM_V6 is not set
# CONFIG_ARCH_ARM_V7A is not set
# CONFIG_ARCH_ARM_V8A is not set
CONFIG_KERNEL_MASTER=y
CONFIG_WORD_SIZE=32

#
# seL4 System
#
CONFIG_ARCH_X86=y
# CONFIG_ARCH_ARM is not set
CONFIG_ARCH_IA32=y
# CONFIG_ARM1136JF_S is not set
# CONFIG_ARM_CORTEX_A7 is not set
# CONFIG_ARM_CORTEX_A8 is not set
# CONFIG_ARM_CORTEX_A9 is not set
# CONFIG_ARM_CORTEX_A15 is not set
# CONFIG_ARM_CORTEX_A53 is not set
# CONFIG_ARM_CORTEX_A57 is not set
# CONFIG_PLAT_EXYNOS54XX is not set
# CONFIG_PLAT_IMX6 is not set
# CONFIG_PLAT_IMX7 is not set
CONFIG_PLAT_PC99=y
CONFIG_IOMMU=y
CONFIG_IRQ_PIC=y
# CONFIG_IRQ_IOAPIC is not set
CONFIG_MAX_NUM_IOAPIC=1
# CONFIG_PAE_PAGING is not set
CONFIG_SYSENTER=y
CONFIG_FXSAVE=y
# CONFIG_XSAVE is not set
CONFIG_XSAVE_SIZE=512
CONFIG_FSGSBASE_GDT=y
# CONFIG_FSGSBASE_MSR is not set

#
# seL4 System Parameters
#
CONFIG_ROOT_CNODE_SIZE_BITS=16
CONFIG_TIMER_TICK_MS=20
CONFIG_TIME_SLICE=5
CONFIG_RETYPE_FAN_OUT_LIMIT=256
CONFIG_MAX_NUM_WORK_UNITS_PER_PREEMPTION=100
CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS=167
CONFIG_MAX_RMRR_ENTRIES=32
CONFIG_FASTPATH=y
CONFIG_NUM_DOMAINS=1
CONFIG_DOMAIN_SCHEDULE=""
CONFIG_NUM_PRIORITIES=256
CONFIG_MAX_NUM_NODES=1
CONFIG_CACHE_LN_SZ=64

#
# Build Options
#
# CONFIG_VERIFICATION_BUILD is not set
CONFIG_DEBUG_BUILD=y
CONFIG_PRINTING=y
# CONFIG_HARDWARE_DEBUG_API is not set
CONFIG_IRQ_REPORTING=y
CONFIG_COLOUR_PRINTING=y
CONFIG_USER_STACK_TRACE_LENGTH=16
# CONFIG_OPTIMISATION_Os is not set
# CONFIG_OPTIMISATION_O0 is not set
# CONFIG_OPTIMISATION_O1 is not set
CONFIG_OPTIMISATION_O2=y
# CONFIG_OPTIMISATION_O3 is not set
# CONFIG_DANGEROUS_CODE_INJECTION is not set
# CONFIG_DEBUG_DISABLE_PREFETCHERS is not set
# CONFIG_ENABLE_BENCHMARKS is not set
CONFIG_NO_BENCHMARKS=y
# CONFIG_BENCHMARK_GENERIC is not set
# CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES is not set
# CONFIG_BENCHMARK_TRACEPOINTS is not set
# CONFIG_BENCHMARK_TRACK_UTILISATION is not set

#
# Errata
#

#
# seL4 Libraries
#

#
# libsel4
#
CONFIG_LIB_SEL4=y
CONFIG_LIB_SEL4_INLINE_INVOCATIONS=y
CONFIG_HAVE_LIB_SEL4=y
CONFIG_LIB_CPIO=y
CONFIG_HAVE_LIB_CPIO=y
CONFIG_LIB_DATA_STRUCT=y
CONFIG_LIB_ELF=y
CONFIG_HAVE_LIB_ELF=y
CONFIG_LIB_MUSL_C=y
CONFIG_HAVE_LIBC=y
CONFIG_HAVE_CRT=y
CONFIG_LIB_SEL4_ALLOCMAN=y
CONFIG_HAVE_LIB_SEL4_ALLOCMAN=y
CONFIG_LIB_SEL4_DEBUG=y
CONFIG_LIBSEL4DEBUG_ALLOC_BUFFER_ENTRIES=128
CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_NONE=y
# CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_TRACE is not set
# CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_BACKTRACE is not set
CONFIG_HAVE_LIB_SEL4_DEBUG=y
CONFIG_LIB_SEL4_MUSLC_SYS=y
CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES=1600000
CONFIG_LIB_SEL4_MUSLC_SYS_DEBUG_HALT=y
# CONFIG_LIB_SEL4_MUSLC_SYS_CPIO_FS is not set
# CONFIG_LIB_SEL4_MUSLC_SYS_ARCH_PUTCHAR_WEAK is not set
CONFIG_HAVE_LIB_SEL4_MUSLC_SYS=y
CONFIG_LIB_SEL4_PLAT_SUPPORT=y
CONFIG_LIB_SEL4_PLAT_SUPPORT_USE_SEL4_DEBUG_PUTCHAR=y
CONFIG_LIB_SEL4_PLAT_SUPPORT_START=y
CONFIG_LIB_SEL4_PLAT_SUPPORT_SEL4_START=y
CONFIG_HAVE_LIB_SEL4_PLAT_SUPPORT=y
CONFIG_LIB_SEL4_SIMPLE=y
CONFIG_HAVE_LIB_SEL4_SIMPLE=y
CONFIG_LIB_SEL4_SIMPLE_DEFAULT=y
CONFIG_HAVE_LIB_SEL4_SIMPLE_DEFAULT=y
CONFIG_LIB_SEL4_UTILS=y
CONFIG_SEL4UTILS_STACK_SIZE=65536
CONFIG_SEL4UTILS_CSPACE_SIZE_BITS=12
# CONFIG_SEL4UTILS_PROFILE is not set
CONFIG_HAVE_LIB_SEL4_UTILS=y
CONFIG_LIB_SEL4_VSPACE=y
CONFIG_HAVE_LIB_SEL4_VSPACE=y
CONFIG_LIB_SEL4_VKA=y
# CONFIG_LIB_VKA_ALLOW_MEMORY_LEAKS is not set
CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_SLOTS_SZ=0
CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_OBJS_SZ=0
CONFIG_HAVE_LIB_SEL4_VKA=y
CONFIG_LIB_REFOS_SYS=y
# CONFIG_REFOS_SYS_FORCE_DEBUGPUTCHAR is not set
CONFIG_LIB_REFOS=y
CONFIG_LIB_UTILS=y
# CONFIG_LIB_UTILS_NO_STATIC_ASSERT is not set
CONFIG_HAVE_LIB_UTILS=y
CONFIG_LIB_VTERM=y
CONFIG_LIB_PLATSUPPORT=y
CONFIG_LIB_PLAT_SUPPORT_SERIAL_PORT_X86_COM1=y
# CONFIG_LIB_PLAT_SUPPORT_SERIAL_PORT_X86_COM2 is not set
# CONFIG_LIB_PLAT_SUPPORT_SERIAL_PORT_X86_COM3 is not set
# CONFIG_LIB_PLAT_SUPPORT_SERIAL_PORT_X86_COM4 is not set
# CONFIG_LIB_PLAT_SUPPORT_SERIAL_TEXT_EGA is not set
CONFIG_HAVE_LIB_PLATSUPPORT=y

#
# seL4 RefOS Applications
#
CONFIG_APP_PROCESS_SERVER=y
CONFIG_PROCSERV_INITIAL_MEM_SIZE=196608
CONFIG_PROCSERV_MAX_VSPACES=64
CONFIG_APP_SELF_LOADER=y
CONFIG_APP_FILE_SERVER=y
CONFIG_APP_CONSOLE_SERVER=y
CONFIG_APP_TIMER_SERVER=y
CONFIG_APP_TERMINAL=y
CONFIG_APP_TEST_OS=y
# CONFIG_APP_TEST_USER is not set
CONFIG_APP_TETRIS=y
CONFIG_APP_SNAKE=y
# CONFIG_APP_NETHACK is not set

#
# seL4 RefOS Build Options
#
CONFIG_REFOS_DEBUG=y
# CONFIG_REFOS_DEBUG_VERBOSE is not set
# CONFIG_REFOS_RUN_TESTS is not set
CONFIG_REFOS_INIT_TASK="/fileserv/terminal"
CONFIG_REFOS_INIT_TASK_PRIO=50
CONFIG_REFOS_ENABLE_EGA=y
CONFIG_REFOS_ANSI_COLOUR_OUTPUT=y
# CONFIG_REFOS_HALT_ON_ERRNO is not set
CONFIG_REFOS_TIMEZONE="AEST-10"
# CONFIG_REFOS_STDIO_DSPACE_SERIAL is not set
CONFIG_REFOS_STDIO_DSPACE_SCREEN=y
CONFIG_REFOS_ENABLE_KEYBOARD=y

#
# Toolchain Options
#
CONFIG_CROSS_COMPILER_PREFIX=""
# CONFIG_USE_RUST is not set
CONFIG_KERNEL_COMPILER=""
CONFIG_KERNEL_CFLAGS=""
CONFIG_KERNEL_EXTRA_CPPFLAGS=""
CONFIG_USER_COMPILER=""
# CONFIG_USER_DEBUG_INFO is not set
CONFIG_USER_EXTRA_CFLAGS=""
CONFIG_USER_CFLAGS=""
CONFIG_BUILDSYS_USE_CCACHE=y
# CONFIG_USER_OPTIMISATION_Os is not set
# CONFIG_USER_OPTIMISATION_O0 is not set
# CONFIG_USER_OPTIMISATION_O1 is not set
CONFIG_USER_OPTIMISATION_O2=y
# CONFIG_USER_OPTIMISATION_O3 is not set
# CONFIG_LINK_TIME_OPTIMISATIONS is not set
# CONFIG_WHOLE_PROGRAM_OPTIMISATIONS_USER is not set
# CONFIG_WHOLE_PROGRAM_OPTIMISATIONS_KERNEL is not set
CONFIG_USER_DEBUG_BUILD=y
# CONFIG_BUILDSYS_CPP_SEPARATE is not set