103 lines
1.9 KiB
Plaintext
103 lines
1.9 KiB
Plaintext
#
|
|
# Automatically generated file; DO NOT EDIT.
|
|
# Tiny Mountain Build Options
|
|
#
|
|
CONFIG_NANOKERNEL=y
|
|
# CONFIG_MICROKERNEL is not set
|
|
|
|
#
|
|
# General Kernel Options
|
|
#
|
|
CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
|
|
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
|
|
# CONFIG_SYS_CLOCK_EXISTS is not set
|
|
# CONFIG_INIT_STACKS is not set
|
|
# CONFIG_XIP is not set
|
|
# CONFIG_ENHANCED_SECURITY is not set
|
|
|
|
#
|
|
# Nanokernel Options
|
|
#
|
|
# CONFIG_BOOT_BANNER is not set
|
|
CONFIG_MAIN_STACK_SIZE=1024
|
|
CONFIG_ISR_STACK_SIZE=2048
|
|
# CONFIG_CONTEXT_CUSTOM_DATA is not set
|
|
CONFIG_PRINTK=y
|
|
CONFIG_BSP_DIR="fsl_frdm_k64f"
|
|
|
|
#
|
|
# ARM family options
|
|
#
|
|
CONFIG_ARM=y
|
|
CONFIG_ISA_THUMB2=y
|
|
|
|
#
|
|
# BSP General Configuration
|
|
#
|
|
CONFIG_BSP_FSL_FRDM_K64F=y
|
|
# CONFIG_BSP_TI_LM3S6965 is not set
|
|
|
|
#
|
|
# ARM Cortex CPU options
|
|
#
|
|
CONFIG_CPU_CORTEX=y
|
|
CONFIG_CPU_CORTEXM=y
|
|
CONFIG_CPU_CORTEXM3=y
|
|
CONFIG_CPU_CORTEXM4=y
|
|
|
|
#
|
|
# ARM Cortex-M family options
|
|
#
|
|
CONFIG_LDREX_STREX_AVAILABLE=y
|
|
CONFIG_DATA_ENDIANNESS_LITTLE=y
|
|
CONFIG_STACK_ALIGN_DOUBLE_WORD=y
|
|
CONFIG_NUM_IRQS=34
|
|
CONFIG_STACK_GROWS_DOWN=y
|
|
CONFIG_NUM_IRQ_PRIO_BITS=4
|
|
# CONFIG_RUNTIME_NMI is not set
|
|
CONFIG_FAULT_DUMP=2
|
|
|
|
#
|
|
# ARM Cortex-M3 options
|
|
#
|
|
CONFIG_SW_ISR_TABLE=y
|
|
CONFIG_SW_ISR_TABLE_DYNAMIC=y
|
|
CONFIG_SW_ISR_TABLE_BSP=y
|
|
CONFIG_IRQ_VECTOR_TABLE_BSP=y
|
|
# CONFIG_ZERO_LATENCY_IRQS is not set
|
|
CONFIG_ARCH_HAS_TASK_ABORT=y
|
|
CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
|
|
CONFIG_WDOG_INIT=y
|
|
|
|
#
|
|
# General Setup
|
|
#
|
|
CONFIG_CROSS_COMPILE=""
|
|
|
|
#
|
|
# Debugging Options
|
|
#
|
|
# CONFIG_STDOUT_CONSOLE is not set
|
|
# CONFIG_ASSERT is not set
|
|
|
|
#
|
|
# System Monitoring Options
|
|
#
|
|
|
|
#
|
|
# Compile and Link Features
|
|
#
|
|
CONFIG_COMPILER_OPT=""
|
|
CONFIG_DRV_CONSOLE=y
|
|
# CONFIG_UART_INTERRUPT_DRIVEN is not set
|
|
# CONFIG_CONSOLE_HANDLER is not set
|
|
CONFIG_DRV_SERIAL=y
|
|
# CONFIG_DRV_NS16550 is not set
|
|
CONFIG_DRV_K20_UART=y
|
|
# CONFIG_DRV_STELLARIS_UART is not set
|
|
# CONFIG_DRV_TIMER is not set
|
|
# CONFIG_DRV_INTCTL is not set
|
|
# CONFIG_DRV_PCI is not set
|
|
# CONFIG_DRV_RANDOM is not set
|
|
# CONFIG_EXPERIMENTAL is not set
|