Kbuild: Update on defconfig arm files.

This commit update the defconfig files for the arm
architecture with additional Kconfig symbols.

Signed-off-by: Juan Manuel Cruz <juan.m.cruz.alcaraz@linux.intel.com>
Change-Id: Ib9bbde65ae333387cebf63949b7a2e9275489f35
This commit is contained in:
Juan Manuel Cruz 2015-05-08 12:02:27 -05:00 committed by Anas Nashif
commit 35591e5c07
4 changed files with 40 additions and 6 deletions

View file

@ -10,6 +10,8 @@ CONFIG_MICROKERNEL=y
#
CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
# CONFIG_TICKLESS_KERNEL is not set
# CONFIG_INIT_STACKS is not set
# CONFIG_XIP is not set
# CONFIG_ENHANCED_SECURITY is not set
@ -19,6 +21,7 @@ CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
# CONFIG_BOOT_BANNER is not set
CONFIG_MAIN_STACK_SIZE=1024
CONFIG_ISR_STACK_SIZE=2048
# CONFIG_CONTEXT_CUSTOM_DATA is not set
#
# Microkernel Options
@ -27,7 +30,6 @@ CONFIG_ISR_STACK_SIZE=2048
#
# Core Microkernel Options
#
CONFIG_COMMAND_PACKET=y
CONFIG_MICROKERNEL_SERVER_STACK_SIZE=1024
CONFIG_MICROKERNEL_SERVER_PRIORITY=0
CONFIG_PRIORITY_CEILING=0
@ -104,6 +106,11 @@ CONFIG_ARCH_HAS_TASK_ABORT=y
CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
CONFIG_WDOG_INIT=y
#
# General Setup
#
CONFIG_CROSS_COMPILE=""
#
# Debugging Options
#
@ -118,8 +125,9 @@ CONFIG_WDOG_INIT=y
# Compile and Link Features
#
CONFIG_COMPILER_OPT=""
CONFIG_SECTION_GARBAGE_COLLECTION=y
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

View file

@ -10,6 +10,8 @@ CONFIG_MICROKERNEL=y
#
CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=12000000
# CONFIG_TICKLESS_KERNEL is not set
# CONFIG_INIT_STACKS is not set
# CONFIG_XIP is not set
# CONFIG_ENHANCED_SECURITY is not set
@ -19,6 +21,7 @@ CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=12000000
# CONFIG_BOOT_BANNER is not set
CONFIG_MAIN_STACK_SIZE=1024
CONFIG_ISR_STACK_SIZE=2048
# CONFIG_CONTEXT_CUSTOM_DATA is not set
#
# Microkernel Options
@ -27,7 +30,6 @@ CONFIG_ISR_STACK_SIZE=2048
#
# Core Microkernel Options
#
CONFIG_COMMAND_PACKET=y
CONFIG_MICROKERNEL_SERVER_STACK_SIZE=1024
CONFIG_MICROKERNEL_SERVER_PRIORITY=0
CONFIG_PRIORITY_CEILING=0
@ -104,6 +106,11 @@ CONFIG_ARCH_HAS_TASK_ABORT=y
CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
CONFIG_BSP_TI_LM3S6965_QEMU=y
#
# General Setup
#
CONFIG_CROSS_COMPILE=""
#
# Debugging Options
#
@ -118,8 +125,9 @@ CONFIG_BSP_TI_LM3S6965_QEMU=y
# Compile and Link Features
#
CONFIG_COMPILER_OPT=""
CONFIG_SECTION_GARBAGE_COLLECTION=y
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

View file

@ -10,6 +10,8 @@ CONFIG_NANOKERNEL=y
#
CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
# CONFIG_TICKLESS_KERNEL is not set
# CONFIG_INIT_STACKS is not set
# CONFIG_XIP is not set
# CONFIG_ENHANCED_SECURITY is not set
@ -19,6 +21,7 @@ CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
# 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"
@ -66,6 +69,11 @@ CONFIG_ARCH_HAS_TASK_ABORT=y
CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
CONFIG_WDOG_INIT=y
#
# General Setup
#
CONFIG_CROSS_COMPILE=""
#
# Debugging Options
#
@ -80,8 +88,9 @@ CONFIG_WDOG_INIT=y
# Compile and Link Features
#
CONFIG_COMPILER_OPT=""
CONFIG_SECTION_GARBAGE_COLLECTION=y
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

View file

@ -10,6 +10,8 @@ CONFIG_NANOKERNEL=y
#
CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=12000000
# CONFIG_TICKLESS_KERNEL is not set
# CONFIG_INIT_STACKS is not set
# CONFIG_XIP is not set
# CONFIG_ENHANCED_SECURITY is not set
@ -19,6 +21,7 @@ CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=12000000
# 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="ti_lm3s6965"
@ -66,6 +69,11 @@ CONFIG_ARCH_HAS_TASK_ABORT=y
CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
CONFIG_BSP_TI_LM3S6965_QEMU=y
#
# General Setup
#
CONFIG_CROSS_COMPILE=""
#
# Debugging Options
#
@ -80,8 +88,9 @@ CONFIG_BSP_TI_LM3S6965_QEMU=y
# Compile and Link Features
#
CONFIG_COMPILER_OPT=""
CONFIG_SECTION_GARBAGE_COLLECTION=y
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