From b18ebe3bd645c47ecc12111756a5e17200fae7ea Mon Sep 17 00:00:00 2001 From: Anas Nashif Date: Mon, 18 May 2015 11:49:18 -0400 Subject: [PATCH] ARM: update defconfig for arm Change-Id: I70c44e9e4cb0aaa22298eada120ed4b4e47a32b7 Signed-off-by: Anas Nashif --- arch/arm/defconfig | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/arch/arm/defconfig b/arch/arm/defconfig index 4803698424c..db15e53517f 100644 --- a/arch/arm/defconfig +++ b/arch/arm/defconfig @@ -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 @@ -110,6 +106,7 @@ CONFIG_WDOG_INIT=y # General Setup # CONFIG_CROSS_COMPILE="" +CONFIG_MINIMAL_LIBC=y # # Debugging Options @@ -125,6 +122,7 @@ CONFIG_CROSS_COMPILE="" # 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 @@ -136,4 +134,9 @@ CONFIG_DRV_K20_UART=y # CONFIG_DRV_INTCTL is not set # CONFIG_DRV_PCI is not set # CONFIG_DRV_RANDOM is not set + +# +# Random Generation Configuration +# +# CONFIG_TEST_RANDOM_GENERATOR is not set # CONFIG_EXPERIMENTAL is not set