Update arch defconfig for ARM

Change-Id: Ic0d3794b4c00504bd2386fbb20b05a844de2d8e7

Signed-off-by: Anas Nashif <anas.nashif@intel.com>
This commit is contained in:
Anas Nashif 2015-05-26 15:25:32 -04:00
commit 5282665b3c

View file

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Tiny Mountain Build Options
# Tiny Mountain/arm Configuration
#
# CONFIG_NANOKERNEL is not set
CONFIG_MICROKERNEL=y
@ -33,18 +33,7 @@ CONFIG_COMMAND_STACK_SIZE=64
CONFIG_NUM_COMMAND_PACKETS=16
CONFIG_NUM_TIMER_PACKETS=10
CONFIG_NUM_TASK_PRIORITIES=16
CONFIG_API_MEMMAP=y
CONFIG_API_MEMPOOL=y
CONFIG_API_TASKIRQ=y
CONFIG_MAX_NUM_TASK_IRQS=0
CONFIG_API_DONOTHING=y
CONFIG_API_OFFLD2FIBER=y
CONFIG_API_EVENTS=y
CONFIG_API_MAILBOX=y
CONFIG_API_MUTEX=y
CONFIG_API_FIFO=y
CONFIG_API_SEMAPHORES=y
CONFIG_API_TIMER=y
#
# Timer API Options
@ -52,11 +41,31 @@ CONFIG_API_TIMER=y
CONFIG_TIMESLICING=y
CONFIG_TIMESLICE_SIZE=0
CONFIG_TIMESLICE_PRIORITY=0
CONFIG_API_CHANNEL=y
# CONFIG_TASK_MONITOR is not set
# CONFIG_ADVANCED_POWER_MANAGEMENT is not set
CONFIG_PRINTK=y
CONFIG_BSP_DIR="fsl_frdm_k64f"
#
# General Setup
#
# CONFIG_EXPERIMENTAL is not set
CONFIG_CROSS_COMPILE=""
#
# Compile and Link Features
#
CONFIG_COMPILER_OPT=""
CONFIG_MINIMAL_LIBC=y
#
# Debugging Options
#
# CONFIG_STDOUT_CONSOLE is not set
# CONFIG_ASSERT is not set
#
# System Monitoring Options
#
#
# ARM family options
@ -100,43 +109,25 @@ 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_BSP_DIR="fsl_frdm_k64f"
CONFIG_WDOG_INIT=y
#
# General Setup
# Device Drivers
#
CONFIG_CROSS_COMPILE=""
CONFIG_MINIMAL_LIBC=y
#
# Debugging Options
#
# CONFIG_STDOUT_CONSOLE is not set
# CONFIG_ASSERT is not set
#
# System Monitoring Options
#
#
# Compile and Link Features
#
CONFIG_COMPILER_OPT=""
# CONFIG_BLUETOOTH is not set
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
#
# Serial Drivers
#
# CONFIG_NS16550 is not set
CONFIG_K20_UART=y
# CONFIG_STELLARIS_UART is not set
# CONFIG_UART_INTERRUPT_DRIVEN is not set
#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_EXPERIMENTAL is not set
# CONFIG_BLUETOOTH is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"