X86: Update defconfig

Change-Id: If3ab286899c3b40e34f420c747bcaa49ccdfe008

Signed-off-by: Anas Nashif <anas.nashif@intel.com>
This commit is contained in:
Anas Nashif 2015-05-17 09:04:09 -04:00
commit 527aca9f73

View file

@ -10,7 +10,7 @@ CONFIG_MICROKERNEL=y
#
CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=1193180
# CONFIG_TICKLESS_KERNEL is not set
CONFIG_SYS_CLOCK_EXISTS=y
# CONFIG_INIT_STACKS is not set
# CONFIG_XIP is not set
CONFIG_ENHANCED_SECURITY=y
@ -32,10 +32,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
@ -158,6 +154,7 @@ CONFIG_EXTRA_SERIAL_PORT=y
# General Setup
#
CONFIG_CROSS_COMPILE=""
CONFIG_MINIMAL_LIBC=y
#
# Debugging Options
@ -173,6 +170,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
@ -185,4 +183,9 @@ CONFIG_PIT=y
CONFIG_DRV_INTCTL=y
# 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