michaelh/zephyr
1
0
Fork 0
Code Releases Activity

ARM: update defconfig for arm

Browse source 
Change-Id: I70c44e9e4cb0aaa22298eada120ed4b4e47a32b7
Signed-off-by: Anas Nashif <anas.nashif@intel.com>
This commit is contained in:
Anas Nashif 2015-05-18 11:49:18 -04:00
commit b18ebe3bd6
1 changed files with 7 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

11
arch/arm/defconfig
View file

@ -26,10 +26,6 @@ CONFIG_ISR_STACK_SIZE=2048
# #
# Microkernel Options # Microkernel Options
# #
#
# Core Microkernel Options
#
CONFIG_MICROKERNEL_SERVER_STACK_SIZE=1024 CONFIG_MICROKERNEL_SERVER_STACK_SIZE=1024
CONFIG_MICROKERNEL_SERVER_PRIORITY=0 CONFIG_MICROKERNEL_SERVER_PRIORITY=0
CONFIG_PRIORITY_CEILING=0 CONFIG_PRIORITY_CEILING=0
@ -110,6 +106,7 @@ CONFIG_WDOG_INIT=y
# General Setup # General Setup
# #
CONFIG_CROSS_COMPILE="" CONFIG_CROSS_COMPILE=""
CONFIG_MINIMAL_LIBC=y
# #
# Debugging Options # Debugging Options
@ -125,6 +122,7 @@ CONFIG_CROSS_COMPILE=""
# Compile and Link Features # Compile and Link Features
# #
CONFIG_COMPILER_OPT="" CONFIG_COMPILER_OPT=""
# CONFIG_BLUETOOTH is not set
CONFIG_DRV_CONSOLE=y CONFIG_DRV_CONSOLE=y
# CONFIG_UART_INTERRUPT_DRIVEN is not set # CONFIG_UART_INTERRUPT_DRIVEN is not set
# CONFIG_CONSOLE_HANDLER is not set # CONFIG_CONSOLE_HANDLER is not set
@ -136,4 +134,9 @@ CONFIG_DRV_K20_UART=y
# CONFIG_DRV_INTCTL is not set # CONFIG_DRV_INTCTL is not set
# CONFIG_DRV_PCI is not set # CONFIG_DRV_PCI is not set
# CONFIG_DRV_RANDOM is not set # CONFIG_DRV_RANDOM is not set
#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_EXPERIMENTAL is not set # CONFIG_EXPERIMENTAL is not set