diff --git a/arch/x86/defconfig b/arch/x86/defconfig index fe80401c2c9..eb5ff78bf4d 100644 --- a/arch/x86/defconfig +++ b/arch/x86/defconfig @@ -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