# # Automatically generated make config: don't edit # CAmkES project configuration # Fri Aug 4 07:31:53 2017 # # # Kernel # # CONFIG_ARCH_ARM_V6 is not set CONFIG_ARCH_ARM_V7A=y # CONFIG_ARCH_ARM_V8A is not set CONFIG_HAVE_FPU=y CONFIG_KERNEL_MASTER=y CONFIG_WORD_SIZE=32 # # seL4 System # # CONFIG_ARCH_X86 is not set CONFIG_ARCH_ARM=y # CONFIG_ARCH_AARCH64 is not set CONFIG_ARCH_AARCH32=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=y # CONFIG_ARM_CORTEX_A15 is not set # CONFIG_ARM_CORTEX_A53 is not set # CONFIG_ARM_CORTEX_A57 is not set # CONFIG_PLAT_EXYNOS5 is not set # CONFIG_PLAT_EXYNOS54XX is not set # CONFIG_PLAT_IMX6 is not set # CONFIG_PLAT_IMX7 is not set # CONFIG_PLAT_KZM is not set # CONFIG_PLAT_OMAP3 is not set # CONFIG_PLAT_AM335X is not set # CONFIG_PLAT_EXYNOS4 is not set # CONFIG_PLAT_EXYNOS5410 is not set # CONFIG_PLAT_EXYNOS5422 is not set # CONFIG_PLAT_EXYNOS5250 is not set # CONFIG_PLAT_APQ8064 is not set # CONFIG_PLAT_SABRE is not set # CONFIG_PLAT_WANDQ is not set # CONFIG_PLAT_IMX7_SABRE is not set CONFIG_PLAT_ZYNQ7000=y # CONFIG_PLAT_ALLWINNERA20 is not set # CONFIG_PLAT_TK1 is not set # CONFIG_PLAT_HIKEY is not set # CONFIG_PLAT_BCM2837 is not set # CONFIG_ENABLE_A9_PREFETCHER is not set # CONFIG_EXPORT_PMU_USER is not set CONFIG_IPC_BUF_TPIDRURW=y # # seL4 System Parameters # CONFIG_ROOT_CNODE_SIZE_BITS=18 CONFIG_TIMER_TICK_MS=2 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_FASTPATH=y CONFIG_NUM_DOMAINS=1 CONFIG_DOMAIN_SCHEDULE="" CONFIG_NUM_PRIORITIES=256 CONFIG_MAX_NUM_NODES=2 CONFIG_KERNEL_STACK_BITS=12 CONFIG_AARCH32_FPU_ENABLE_CONTEXT_SWITCH=y CONFIG_FPU_MAX_RESTORES_SINCE_SWITCH=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=y # CONFIG_OPTIMISATION_O1 is not set # CONFIG_OPTIMISATION_O2 is not set # CONFIG_OPTIMISATION_O3 is not set # CONFIG_DANGEROUS_CODE_INJECTION is not set # CONFIG_DEBUG_DISABLE_L2_CACHE is not set # CONFIG_DEBUG_DISABLE_BRANCH_PREDICTION 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 # # # Libraries # CONFIG_LIB_MUSL_C=y CONFIG_HAVE_LIBC=y CONFIG_HAVE_CRT=y # # libsel4 # CONFIG_LIB_SEL4=y # CONFIG_LIB_SEL4_DEFAULT_FUNCTION_ATTRIBUTES is not set CONFIG_LIB_SEL4_INLINE_INVOCATIONS=y # CONFIG_LIB_SEL4_PUBLIC_SYMBOLS is not set # CONFIG_LIB_SEL4_STUBS_USE_IPC_BUFFER_ONLY is not set CONFIG_HAVE_LIB_SEL4=y CONFIG_LIB_SEL4_MUSLC_SYS=y CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES=1048576 # CONFIG_LIB_SEL4_MUSLC_SYS_DEBUG_HALT is not set # 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_MUSLC_CAMKES=y CONFIG_LIB_SEL4_PLAT_SUPPORT=y CONFIG_LIB_SEL4_PLAT_SUPPORT_USE_SEL4_DEBUG_PUTCHAR=y # CONFIG_LIB_SEL4_PLAT_SUPPORT_START is not set CONFIG_LIB_SEL4_PLAT_SUPPORT_SEL4_START=y CONFIG_HAVE_LIB_SEL4_PLAT_SUPPORT=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_CPIO=y CONFIG_HAVE_LIB_CPIO=y CONFIG_LIB_ELF=y CONFIG_HAVE_LIB_ELF=y CONFIG_LIB_SEL4_SYNC=y CONFIG_HAVE_LIB_SEL4_SYNC=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_PLATSUPPORT=y CONFIG_HAVE_LIB_PLATSUPPORT=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_UTILS=y # CONFIG_LIB_UTILS_NO_STATIC_ASSERT is not set CONFIG_HAVE_LIB_UTILS=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 # # Applications # CONFIG_MODULE_CAPDL_LOADER=y CONFIG_CAPDL_LOADER_CC_STANDARD=y # CONFIG_CAPDL_LOADER_CC_REGISTERS is not set CONFIG_CAPDL_LOADER_MAX_OBJECTS=4096 CONFIG_CAPDL_LOADER_MAX_IRQS=256 # CONFIG_CAPDL_LOADER_ALLOW_NO_CSPACE is not set # CONFIG_CAPDL_LOADER_PRINT_DEVICE_INFO is not set # CONFIG_CAPDL_LOADER_PRINT_UNTYPEDS is not set # CONFIG_CAPDL_LOAD_PRINT_CAPDL_OBJECTS is not set # CONFIG_APP_HELLO_CAMKES_0 is not set # CONFIG_APP_HELLO_CAMKES_1 is not set CONFIG_APP_HELLO_CAMKES_2=y # CONFIG_APP_HELLO_CAMKES_TIMER is not set # # CAmkES Options # CONFIG_CAMKES_DEFAULT_STACK_SIZE=16384 # CONFIG_CAMKES_CPP is not set CONFIG_CAMKES_IMPORT_PATH="" CONFIG_CAMKES_DEFAULT_PRIORITY=254 CONFIG_CAMKES_DEFAULT_AFFINITY=0 CONFIG_CAMKES_ERROR_HANDLER_CONFIGURABLE=y # CONFIG_CAMKES_ERROR_HANDLER_GUARD is not set # CONFIG_CAMKES_ERROR_HANDLER_ABORT is not set # CONFIG_CAMKES_ERROR_HANDLER_DISCARD is not set # CONFIG_CAMKES_ALLOW_FORWARD_REFERENCES is not set # # Optimisation # # CONFIG_CAMKES_USE_OBJDUMP_OFF is not set CONFIG_CAMKES_USE_OBJDUMP_AUTO=y # CONFIG_CAMKES_USE_OBJDUMP_ON is not set CONFIG_CAMKES_CACHE=y CONFIG_CAMKES_ACCELERATOR=y CONFIG_CAMKES_OPTIMISATION_RPC_LOCK_ELISION=y CONFIG_CAMKES_OPTIMISATION_SPECIALISE_SYSCALL_STUBS=y CONFIG_CAMKES_LARGE_FRAME_PROMOTION=y # CONFIG_CAMKES_DMA_LARGE_FRAME_PROMOTION is not set CONFIG_CAMKES_PYTHON_OPTIMISE_NONE=y # CONFIG_CAMKES_PYTHON_OPTIMISE_BASIC is not set # CONFIG_CAMKES_PYTHON_OPTIMISE_MORE is not set CONFIG_CAMKES_PYTHON_INTERPRETER_CPYTHON=y # CONFIG_CAMKES_PYTHON_INTERPRETER_CPYTHON2 is not set # CONFIG_CAMKES_PYTHON_INTERPRETER_CPYTHON3 is not set # CONFIG_CAMKES_PYTHON_INTERPRETER_PYPY is not set # CONFIG_CAMKES_PYTHON_INTERPRETER_FIGLEAF is not set # CONFIG_CAMKES_PYTHON_INTERPRETER_COVERAGE is not set # # Profiling # # CONFIG_CAMKES_CONNECTOR_TIMING is not set # # Debugging # CONFIG_CAMKES_FAULT_HANDLERS=y # # Verification # CONFIG_CAMKES_PROVIDE_TCB_CAPS=y CONFIG_CAMKES_SUPPORT_INIT=y # CONFIG_CAMKES_THYS is not set # CONFIG_CAMKES_ARCH_THY is not set # CONFIG_CAMKES_CIMP_THY is not set # CONFIG_CAMKES_CAPDL_THY is not set # CONFIG_CAMKES_LABEL_MAPPING is not set CONFIG_CAMKES_TLS_STANDARD=y # CONFIG_CAMKES_TLS_PTG is not set # # Toolchain Options # CONFIG_CROSS_COMPILER_PREFIX="arm-none-eabi-" # CONFIG_USE_RUST is not set CONFIG_KERNEL_COMPILER="" CONFIG_KERNEL_CFLAGS="" CONFIG_KERNEL_EXTRA_CPPFLAGS="" CONFIG_USER_COMPILER="" CONFIG_USER_DEBUG_INFO=y 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_USER_LINKER_GC_SECTIONS is not set # CONFIG_BUILDSYS_CPP_SEPARATE is not set