Update defconfigs for ARM

Change-Id: I6189947283476e56e082a820b812d0b3689cc484

Signed-off-by: Anas Nashif <anas.nashif@intel.com>

arch/arm/configs/micro_fsl_frdm_k64f_defconfig

@@ -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
@@ -10,7 +10,7 @@ CONFIG_MICROKERNEL=y
 #
 CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
 CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
-# CONFIG_SYS_CLOCK_EXISTS is not set
+CONFIG_SYS_CLOCK_EXISTS=y
 # CONFIG_INIT_STACKS is not set
 # CONFIG_XIP is not set
 # CONFIG_ENHANCED_SECURITY is not set
@@ -26,10 +26,6 @@ CONFIG_ISR_STACK_SIZE=2048
 #
 # Microkernel Options
 #
-
-#
-# Core Microkernel Options
-#
 CONFIG_MICROKERNEL_SERVER_STACK_SIZE=1024
 CONFIG_MICROKERNEL_SERVER_PRIORITY=0
 CONFIG_PRIORITY_CEILING=0
@@ -37,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
@@ -56,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
@@ -88,7 +93,7 @@ CONFIG_CPU_CORTEXM4=y
 CONFIG_LDREX_STREX_AVAILABLE=y
 CONFIG_DATA_ENDIANNESS_LITTLE=y
 CONFIG_STACK_ALIGN_DOUBLE_WORD=y
-CONFIG_NUM_IRQS=34
+CONFIG_NUM_IRQS=1
 CONFIG_STACK_GROWS_DOWN=y
 CONFIG_NUM_IRQ_PRIO_BITS=4
 # CONFIG_RUNTIME_NMI is not set
@@ -104,36 +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=""
-
-#
-# 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
+
+#
+# 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_BLUETOOTH is not set
+CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

arch/arm/configs/micro_ti_lm3s6965_defconfig

@@ -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
@@ -10,7 +10,7 @@ CONFIG_MICROKERNEL=y
 #
 CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
 CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=12000000
-# CONFIG_SYS_CLOCK_EXISTS is not set
+CONFIG_SYS_CLOCK_EXISTS=y
 # CONFIG_INIT_STACKS is not set
 # CONFIG_XIP is not set
 # CONFIG_ENHANCED_SECURITY is not set
@@ -26,10 +26,6 @@ CONFIG_ISR_STACK_SIZE=2048
 #
 # Microkernel Options
 #
-
-#
-# Core Microkernel Options
-#
 CONFIG_MICROKERNEL_SERVER_STACK_SIZE=1024
 CONFIG_MICROKERNEL_SERVER_PRIORITY=0
 CONFIG_PRIORITY_CEILING=0
@@ -37,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
@@ -56,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="ti_lm3s6965"
+
+#
+# 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
@@ -104,36 +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="ti_lm3s6965"
 CONFIG_BSP_TI_LM3S6965_QEMU=y
 
 #
-# General Setup
+# Device Drivers
 #
-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 is not set
-CONFIG_DRV_STELLARIS_UART=y
-# 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
+
+#
+# Serial Drivers
+#
+# CONFIG_NS16550 is not set
+# CONFIG_K20_UART is not set
+CONFIG_STELLARIS_UART=y
+# CONFIG_UART_INTERRUPT_DRIVEN is not set
+
+#
+# Random Generation Configuration
+#
+# CONFIG_TEST_RANDOM_GENERATOR is not set
+# CONFIG_BLUETOOTH is not set
+CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

arch/arm/configs/nano_fsl_frdm_k64f_defconfig

@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Tiny Mountain Build Options
+# Tiny Mountain/arm Configuration
 #
 CONFIG_NANOKERNEL=y
 # CONFIG_MICROKERNEL is not set
@@ -10,7 +10,7 @@ CONFIG_NANOKERNEL=y
 #
 CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
 CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
-# CONFIG_SYS_CLOCK_EXISTS is not set
+CONFIG_SYS_CLOCK_EXISTS=y
 # CONFIG_INIT_STACKS is not set
 # CONFIG_XIP is not set
 # CONFIG_ENHANCED_SECURITY is not set
@@ -23,7 +23,28 @@ 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"
+
+#
+# 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
@@ -51,7 +72,7 @@ CONFIG_CPU_CORTEXM4=y
 CONFIG_LDREX_STREX_AVAILABLE=y
 CONFIG_DATA_ENDIANNESS_LITTLE=y
 CONFIG_STACK_ALIGN_DOUBLE_WORD=y
-CONFIG_NUM_IRQS=34
+CONFIG_NUM_IRQS=1
 CONFIG_STACK_GROWS_DOWN=y
 CONFIG_NUM_IRQ_PRIO_BITS=4
 # CONFIG_RUNTIME_NMI is not set
@@ -67,36 +88,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=""
-
-#
-# 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
+
+#
+# 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_BLUETOOTH is not set
+CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

arch/arm/configs/nano_ti_lm3s6965_defconfig

@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Tiny Mountain Build Options
+# Tiny Mountain/arm Configuration
 #
 CONFIG_NANOKERNEL=y
 # CONFIG_MICROKERNEL is not set
@@ -10,7 +10,7 @@ CONFIG_NANOKERNEL=y
 #
 CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
 CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=12000000
-# CONFIG_SYS_CLOCK_EXISTS is not set
+CONFIG_SYS_CLOCK_EXISTS=y
 # CONFIG_INIT_STACKS is not set
 # CONFIG_XIP is not set
 # CONFIG_ENHANCED_SECURITY is not set
@@ -23,7 +23,28 @@ CONFIG_MAIN_STACK_SIZE=1024
 CONFIG_ISR_STACK_SIZE=2048
 # CONFIG_CONTEXT_CUSTOM_DATA is not set
 CONFIG_PRINTK=y
-CONFIG_BSP_DIR="ti_lm3s6965"
+
+#
+# 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
@@ -67,36 +88,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="ti_lm3s6965"
 CONFIG_BSP_TI_LM3S6965_QEMU=y
 
 #
-# General Setup
+# Device Drivers
 #
-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 is not set
-CONFIG_DRV_STELLARIS_UART=y
-# 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
+
+#
+# Serial Drivers
+#
+# CONFIG_NS16550 is not set
+# CONFIG_K20_UART is not set
+CONFIG_STELLARIS_UART=y
+# CONFIG_UART_INTERRUPT_DRIVEN is not set
+
+#
+# Random Generation Configuration
+#
+# CONFIG_TEST_RANDOM_GENERATOR is not set
+# CONFIG_BLUETOOTH is not set
+CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"