From bde0949049908b80f237af3b4fbc463735718525 Mon Sep 17 00:00:00 2001 From: Anas Nashif Date: Fri, 19 Jun 2015 20:57:45 -0400 Subject: [PATCH] Update default configurations also change Zephyr OS to Zephyr Kernel. Use a script to check and update all default configurations. Change-Id: I9614d698fd5b7c803590e83a7429403357c09a94 Signed-off-by: Anas Nashif --- arch/arc/defconfig | 9 ++- .../arm/configs/micro_fsl_frdm_k64f_defconfig | 22 ++++++- arch/arm/configs/micro_ti_lm3s6965_defconfig | 22 ++++++- arch/arm/configs/nano_fsl_frdm_k64f_defconfig | 22 ++++++- arch/arm/configs/nano_ti_lm3s6965_defconfig | 22 ++++++- arch/arm/defconfig | 22 ++++++- .../micro_generic_pc_atom_n28xx_defconfig | 61 +++++++++++------- arch/x86/configs/micro_generic_pc_defconfig | 56 ++++++++++------- .../micro_generic_pc_minuteia_defconfig | 56 ++++++++++------- .../micro_generic_pc_pentium4_defconfig | 56 ++++++++++------- arch/x86/configs/micro_quark_defconfig | 63 +++++++++++-------- .../nano_generic_pc_atom_n28xx_defconfig | 61 +++++++++++------- arch/x86/configs/nano_generic_pc_defconfig | 56 ++++++++++------- .../nano_generic_pc_minuteia_defconfig | 56 ++++++++++------- .../nano_generic_pc_pentium4_defconfig | 56 ++++++++++------- arch/x86/configs/nano_quark_defconfig | 63 +++++++++++-------- arch/x86/defconfig | 63 +++++++++++-------- 17 files changed, 502 insertions(+), 264 deletions(-) diff --git a/arch/arc/defconfig b/arch/arc/defconfig index 93d2e8b529a..99e94fe8a94 100644 --- a/arch/arc/defconfig +++ b/arch/arc/defconfig @@ -44,7 +44,6 @@ CONFIG_TIMESLICE_SIZE=0 CONFIG_TIMESLICE_PRIORITY=0 # CONFIG_TASK_MONITOR is not set # CONFIG_ADVANCED_POWER_MANAGEMENT is not set -CONFIG_PRINTK=y # # General Setup @@ -61,12 +60,14 @@ CONFIG_MINIMAL_LIBC=y # # Debugging Options # +CONFIG_PRINTK=y # CONFIG_STDOUT_CONSOLE is not set # CONFIG_ASSERT is not set # -# System Monitoring Options +# Bootloader Options # +# CONFIG_BOOTLOADER_UNKNOWN is not set # # ARC family options @@ -124,6 +125,10 @@ CONFIG_ARCV2_TIMER=y # # CONFIG_RANDOM_GENERATOR is not set # CONFIG_TEST_RANDOM_GENERATOR is not set + +# +# Networking +# # CONFIG_BLUETOOTH is not set # CONFIG_NETWORKING is not set CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG" diff --git a/arch/arm/configs/micro_fsl_frdm_k64f_defconfig b/arch/arm/configs/micro_fsl_frdm_k64f_defconfig index ef03422c9e3..b44549f0318 100644 --- a/arch/arm/configs/micro_fsl_frdm_k64f_defconfig +++ b/arch/arm/configs/micro_fsl_frdm_k64f_defconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Zephyr OS/arm Configuration +# Zephyr Kernel/arm Configuration # # CONFIG_NANOKERNEL is not set CONFIG_MICROKERNEL=y @@ -22,6 +22,8 @@ CONFIG_XIP=y CONFIG_MAIN_STACK_SIZE=1024 CONFIG_ISR_STACK_SIZE=2048 # CONFIG_CONTEXT_CUSTOM_DATA is not set +# CONFIG_NANO_TIMEOUTS is not set +# CONFIG_NANO_TIMERS is not set # # Microkernel Options @@ -43,7 +45,6 @@ CONFIG_TIMESLICE_SIZE=0 CONFIG_TIMESLICE_PRIORITY=0 # CONFIG_TASK_MONITOR is not set # CONFIG_ADVANCED_POWER_MANAGEMENT is not set -CONFIG_PRINTK=y # # General Setup @@ -60,12 +61,14 @@ CONFIG_MINIMAL_LIBC=y # # Debugging Options # +CONFIG_PRINTK=y # CONFIG_STDOUT_CONSOLE is not set # CONFIG_ASSERT is not set # -# System Monitoring Options +# Bootloader Options # +# CONFIG_BOOTLOADER_UNKNOWN is not set # # ARM family options @@ -127,10 +130,23 @@ CONFIG_K20_UART=y # CONFIG_STELLARIS_UART is not set # CONFIG_UART_INTERRUPT_DRIVEN is not set +# +# Interrupt Controllers +# + +# +# Timer Drivers +# + # # Random Generation Configuration # # CONFIG_RANDOM_GENERATOR is not set # CONFIG_TEST_RANDOM_GENERATOR is not set + +# +# Networking +# # CONFIG_BLUETOOTH is not set +# CONFIG_NETWORKING is not set CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG" diff --git a/arch/arm/configs/micro_ti_lm3s6965_defconfig b/arch/arm/configs/micro_ti_lm3s6965_defconfig index 2af945f913d..296a6ae0275 100644 --- a/arch/arm/configs/micro_ti_lm3s6965_defconfig +++ b/arch/arm/configs/micro_ti_lm3s6965_defconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Zephyr OS/arm Configuration +# Zephyr Kernel/arm Configuration # # CONFIG_NANOKERNEL is not set CONFIG_MICROKERNEL=y @@ -22,6 +22,8 @@ CONFIG_XIP=y CONFIG_MAIN_STACK_SIZE=1024 CONFIG_ISR_STACK_SIZE=2048 # CONFIG_CONTEXT_CUSTOM_DATA is not set +# CONFIG_NANO_TIMEOUTS is not set +# CONFIG_NANO_TIMERS is not set # # Microkernel Options @@ -43,7 +45,6 @@ CONFIG_TIMESLICE_SIZE=0 CONFIG_TIMESLICE_PRIORITY=0 # CONFIG_TASK_MONITOR is not set # CONFIG_ADVANCED_POWER_MANAGEMENT is not set -CONFIG_PRINTK=y # # General Setup @@ -60,12 +61,14 @@ CONFIG_MINIMAL_LIBC=y # # Debugging Options # +CONFIG_PRINTK=y # CONFIG_STDOUT_CONSOLE is not set # CONFIG_ASSERT is not set # -# System Monitoring Options +# Bootloader Options # +# CONFIG_BOOTLOADER_UNKNOWN is not set # # ARM family options @@ -127,10 +130,23 @@ CONFIG_BSP_TI_LM3S6965_QEMU=y CONFIG_STELLARIS_UART=y # CONFIG_UART_INTERRUPT_DRIVEN is not set +# +# Interrupt Controllers +# + +# +# Timer Drivers +# + # # Random Generation Configuration # # CONFIG_RANDOM_GENERATOR is not set # CONFIG_TEST_RANDOM_GENERATOR is not set + +# +# Networking +# # CONFIG_BLUETOOTH is not set +# CONFIG_NETWORKING is not set CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG" diff --git a/arch/arm/configs/nano_fsl_frdm_k64f_defconfig b/arch/arm/configs/nano_fsl_frdm_k64f_defconfig index d1c16686c41..918ecf411ee 100644 --- a/arch/arm/configs/nano_fsl_frdm_k64f_defconfig +++ b/arch/arm/configs/nano_fsl_frdm_k64f_defconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Zephyr OS/arm Configuration +# Zephyr Kernel/arm Configuration # CONFIG_NANOKERNEL=y # CONFIG_MICROKERNEL is not set @@ -22,7 +22,8 @@ CONFIG_XIP=y CONFIG_MAIN_STACK_SIZE=1024 CONFIG_ISR_STACK_SIZE=2048 # CONFIG_CONTEXT_CUSTOM_DATA is not set -CONFIG_PRINTK=y +# CONFIG_NANO_TIMEOUTS is not set +CONFIG_NANO_TIMERS=y # # General Setup @@ -39,12 +40,14 @@ CONFIG_MINIMAL_LIBC=y # # Debugging Options # +CONFIG_PRINTK=y # CONFIG_STDOUT_CONSOLE is not set # CONFIG_ASSERT is not set # -# System Monitoring Options +# Bootloader Options # +# CONFIG_BOOTLOADER_UNKNOWN is not set # # ARM family options @@ -106,10 +109,23 @@ CONFIG_K20_UART=y # CONFIG_STELLARIS_UART is not set # CONFIG_UART_INTERRUPT_DRIVEN is not set +# +# Interrupt Controllers +# + +# +# Timer Drivers +# + # # Random Generation Configuration # # CONFIG_RANDOM_GENERATOR is not set # CONFIG_TEST_RANDOM_GENERATOR is not set + +# +# Networking +# # CONFIG_BLUETOOTH is not set +# CONFIG_NETWORKING is not set CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG" diff --git a/arch/arm/configs/nano_ti_lm3s6965_defconfig b/arch/arm/configs/nano_ti_lm3s6965_defconfig index 92209c9aed3..4338d38cd68 100644 --- a/arch/arm/configs/nano_ti_lm3s6965_defconfig +++ b/arch/arm/configs/nano_ti_lm3s6965_defconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Zephyr OS/arm Configuration +# Zephyr Kernel/arm Configuration # CONFIG_NANOKERNEL=y # CONFIG_MICROKERNEL is not set @@ -22,7 +22,8 @@ CONFIG_XIP=y CONFIG_MAIN_STACK_SIZE=1024 CONFIG_ISR_STACK_SIZE=2048 # CONFIG_CONTEXT_CUSTOM_DATA is not set -CONFIG_PRINTK=y +# CONFIG_NANO_TIMEOUTS is not set +CONFIG_NANO_TIMERS=y # # General Setup @@ -39,12 +40,14 @@ CONFIG_MINIMAL_LIBC=y # # Debugging Options # +CONFIG_PRINTK=y # CONFIG_STDOUT_CONSOLE is not set # CONFIG_ASSERT is not set # -# System Monitoring Options +# Bootloader Options # +# CONFIG_BOOTLOADER_UNKNOWN is not set # # ARM family options @@ -106,10 +109,23 @@ CONFIG_BSP_TI_LM3S6965_QEMU=y CONFIG_STELLARIS_UART=y # CONFIG_UART_INTERRUPT_DRIVEN is not set +# +# Interrupt Controllers +# + +# +# Timer Drivers +# + # # Random Generation Configuration # # CONFIG_RANDOM_GENERATOR is not set # CONFIG_TEST_RANDOM_GENERATOR is not set + +# +# Networking +# # CONFIG_BLUETOOTH is not set +# CONFIG_NETWORKING is not set CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG" diff --git a/arch/arm/defconfig b/arch/arm/defconfig index ef03422c9e3..b44549f0318 100644 --- a/arch/arm/defconfig +++ b/arch/arm/defconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Zephyr OS/arm Configuration +# Zephyr Kernel/arm Configuration # # CONFIG_NANOKERNEL is not set CONFIG_MICROKERNEL=y @@ -22,6 +22,8 @@ CONFIG_XIP=y CONFIG_MAIN_STACK_SIZE=1024 CONFIG_ISR_STACK_SIZE=2048 # CONFIG_CONTEXT_CUSTOM_DATA is not set +# CONFIG_NANO_TIMEOUTS is not set +# CONFIG_NANO_TIMERS is not set # # Microkernel Options @@ -43,7 +45,6 @@ CONFIG_TIMESLICE_SIZE=0 CONFIG_TIMESLICE_PRIORITY=0 # CONFIG_TASK_MONITOR is not set # CONFIG_ADVANCED_POWER_MANAGEMENT is not set -CONFIG_PRINTK=y # # General Setup @@ -60,12 +61,14 @@ CONFIG_MINIMAL_LIBC=y # # Debugging Options # +CONFIG_PRINTK=y # CONFIG_STDOUT_CONSOLE is not set # CONFIG_ASSERT is not set # -# System Monitoring Options +# Bootloader Options # +# CONFIG_BOOTLOADER_UNKNOWN is not set # # ARM family options @@ -127,10 +130,23 @@ CONFIG_K20_UART=y # CONFIG_STELLARIS_UART is not set # CONFIG_UART_INTERRUPT_DRIVEN is not set +# +# Interrupt Controllers +# + +# +# Timer Drivers +# + # # Random Generation Configuration # # CONFIG_RANDOM_GENERATOR is not set # CONFIG_TEST_RANDOM_GENERATOR is not set + +# +# Networking +# # CONFIG_BLUETOOTH is not set +# CONFIG_NETWORKING is not set CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG" diff --git a/arch/x86/configs/micro_generic_pc_atom_n28xx_defconfig b/arch/x86/configs/micro_generic_pc_atom_n28xx_defconfig index d826167da10..e92f9f66bc4 100644 --- a/arch/x86/configs/micro_generic_pc_atom_n28xx_defconfig +++ b/arch/x86/configs/micro_generic_pc_atom_n28xx_defconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Zephyr OS/x86 Configuration +# Zephyr Kernel/x86 Configuration # CONFIG_X86_32=y CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig" @@ -30,6 +30,8 @@ CONFIG_ENHANCED_SECURITY=y CONFIG_MAIN_STACK_SIZE=1024 CONFIG_ISR_STACK_SIZE=2048 # CONFIG_CONTEXT_CUSTOM_DATA is not set +# CONFIG_NANO_TIMEOUTS is not set +# CONFIG_NANO_TIMERS is not set # # Microkernel Options @@ -51,7 +53,6 @@ CONFIG_TIMESLICE_SIZE=0 CONFIG_TIMESLICE_PRIORITY=0 # CONFIG_TASK_MONITOR is not set # CONFIG_ADVANCED_POWER_MANAGEMENT is not set -CONFIG_PRINTK=y # # General Setup @@ -68,12 +69,16 @@ CONFIG_MINIMAL_LIBC=y # # Debugging Options # +CONFIG_PRINTK=y # CONFIG_STDOUT_CONSOLE is not set # CONFIG_ASSERT is not set # -# System Monitoring Options +# Bootloader Options # +# CONFIG_BOOTLOADER_KEXEC is not set +# CONFIG_BOOTLOADER_GRUB is not set +CONFIG_BOOTLOADER_UNKNOWN=y # # x86 Core Options @@ -120,38 +125,23 @@ CONFIG_CACHE_LINE_SIZE=64 # # Specific BSP Capability Support # +CONFIG_NUM_DYNAMIC_STUBS=0 # CONFIG_PROT_MODE_SWITCH_PROMPT is not set # CONFIG_ADVANCED_IDLE_SUPPORTED is not set -CONFIG_BOOTLOADER_UNKNOWN=y CONFIG_SHUTOFF_PIC=y # # Floating Point Options # # CONFIG_FLOAT is not set + +# +# Bus options (PCI etc.) +# # CONFIG_PCI is not set CONFIG_BSP_DIR="generic_pc" CONFIG_LOAPIC_TIMER_FREQ=150000000 -# -# Serial Ports -# -CONFIG_EXTRA_SERIAL_PORT=y -CONFIG_SERIAL_INTERRUPT_LEVEL=y -# CONFIG_SERIAL_INTERRUPT_LOW is not set - -# -# Timer Configuration -# -# CONFIG_HPET_TIMER is not set -CONFIG_LOAPIC_TIMER=y - -# -# Interrupt Controller Configuration -# -CONFIG_IOAPIC=y -CONFIG_LOAPIC=y - # # Device Drivers # @@ -161,10 +151,30 @@ CONFIG_LOAPIC=y # # Serial Drivers # + +# +# Serial Port Options +# +CONFIG_EXTRA_SERIAL_PORT=y +CONFIG_SERIAL_INTERRUPT_LEVEL=y +# CONFIG_SERIAL_INTERRUPT_LOW is not set CONFIG_NS16550=y # CONFIG_K20_UART is not set # CONFIG_STELLARIS_UART is not set # CONFIG_UART_INTERRUPT_DRIVEN is not set + +# +# Interrupt Controllers +# +# CONFIG_PIC is not set +CONFIG_LOAPIC=y +CONFIG_IOAPIC=y + +# +# Timer Drivers +# +# CONFIG_HPET_TIMER is not set +CONFIG_LOAPIC_TIMER=y # CONFIG_PIT is not set # @@ -172,5 +182,10 @@ CONFIG_NS16550=y # # CONFIG_RANDOM_GENERATOR is not set # CONFIG_TEST_RANDOM_GENERATOR is not set + +# +# Networking +# # CONFIG_BLUETOOTH is not set +# CONFIG_NETWORKING is not set CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG" diff --git a/arch/x86/configs/micro_generic_pc_defconfig b/arch/x86/configs/micro_generic_pc_defconfig index 44a5c222e1e..734693f2cac 100644 --- a/arch/x86/configs/micro_generic_pc_defconfig +++ b/arch/x86/configs/micro_generic_pc_defconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Zephyr OS/x86 Configuration +# Zephyr Kernel/x86 Configuration # CONFIG_X86_32=y CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig" @@ -30,6 +30,8 @@ CONFIG_ENHANCED_SECURITY=y CONFIG_MAIN_STACK_SIZE=1024 CONFIG_ISR_STACK_SIZE=2048 # CONFIG_CONTEXT_CUSTOM_DATA is not set +# CONFIG_NANO_TIMEOUTS is not set +# CONFIG_NANO_TIMERS is not set # # Microkernel Options @@ -51,7 +53,6 @@ CONFIG_TIMESLICE_SIZE=0 CONFIG_TIMESLICE_PRIORITY=0 # CONFIG_TASK_MONITOR is not set # CONFIG_ADVANCED_POWER_MANAGEMENT is not set -CONFIG_PRINTK=y # # General Setup @@ -68,12 +69,16 @@ CONFIG_MINIMAL_LIBC=y # # Debugging Options # +CONFIG_PRINTK=y # CONFIG_STDOUT_CONSOLE is not set # CONFIG_ASSERT is not set # -# System Monitoring Options +# Bootloader Options # +# CONFIG_BOOTLOADER_KEXEC is not set +# CONFIG_BOOTLOADER_GRUB is not set +CONFIG_BOOTLOADER_UNKNOWN=y # # x86 Core Options @@ -120,34 +125,21 @@ CONFIG_CACHE_LINE_SIZE=64 # # Specific BSP Capability Support # +CONFIG_NUM_DYNAMIC_STUBS=0 # CONFIG_PROT_MODE_SWITCH_PROMPT is not set # CONFIG_ADVANCED_IDLE_SUPPORTED is not set -CONFIG_BOOTLOADER_UNKNOWN=y -CONFIG_PIC=y # # Floating Point Options # # CONFIG_FLOAT is not set + +# +# Bus options (PCI etc.) +# # CONFIG_PCI is not set CONFIG_BSP_DIR="generic_pc" -# -# Serial Ports -# -CONFIG_EXTRA_SERIAL_PORT=y - -# -# Timer Configuration -# -# CONFIG_HPET_TIMER is not set - -# -# Interrupt Controller Configuration -# -# CONFIG_IOAPIC is not set -# CONFIG_LOAPIC is not set - # # Device Drivers # @@ -157,10 +149,27 @@ CONFIG_EXTRA_SERIAL_PORT=y # # Serial Drivers # + +# +# Serial Port Options +# +CONFIG_EXTRA_SERIAL_PORT=y CONFIG_NS16550=y # CONFIG_K20_UART is not set # CONFIG_STELLARIS_UART is not set # CONFIG_UART_INTERRUPT_DRIVEN is not set + +# +# Interrupt Controllers +# +CONFIG_PIC=y +# CONFIG_LOAPIC is not set +# CONFIG_IOAPIC is not set + +# +# Timer Drivers +# +# CONFIG_HPET_TIMER is not set CONFIG_PIT=y # @@ -168,5 +177,10 @@ CONFIG_PIT=y # # CONFIG_RANDOM_GENERATOR is not set # CONFIG_TEST_RANDOM_GENERATOR is not set + +# +# Networking +# # CONFIG_BLUETOOTH is not set +# CONFIG_NETWORKING is not set CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG" diff --git a/arch/x86/configs/micro_generic_pc_minuteia_defconfig b/arch/x86/configs/micro_generic_pc_minuteia_defconfig index c331616bb91..4491b13b349 100644 --- a/arch/x86/configs/micro_generic_pc_minuteia_defconfig +++ b/arch/x86/configs/micro_generic_pc_minuteia_defconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Zephyr OS/x86 Configuration +# Zephyr Kernel/x86 Configuration # CONFIG_X86_32=y CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig" @@ -30,6 +30,8 @@ CONFIG_ENHANCED_SECURITY=y CONFIG_MAIN_STACK_SIZE=1024 CONFIG_ISR_STACK_SIZE=2048 # CONFIG_CONTEXT_CUSTOM_DATA is not set +# CONFIG_NANO_TIMEOUTS is not set +# CONFIG_NANO_TIMERS is not set # # Microkernel Options @@ -51,7 +53,6 @@ CONFIG_TIMESLICE_SIZE=0 CONFIG_TIMESLICE_PRIORITY=0 # CONFIG_TASK_MONITOR is not set # CONFIG_ADVANCED_POWER_MANAGEMENT is not set -CONFIG_PRINTK=y # # General Setup @@ -68,12 +69,16 @@ CONFIG_MINIMAL_LIBC=y # # Debugging Options # +CONFIG_PRINTK=y # CONFIG_STDOUT_CONSOLE is not set # CONFIG_ASSERT is not set # -# System Monitoring Options +# Bootloader Options # +# CONFIG_BOOTLOADER_KEXEC is not set +# CONFIG_BOOTLOADER_GRUB is not set +CONFIG_BOOTLOADER_UNKNOWN=y # # x86 Core Options @@ -122,29 +127,16 @@ CONFIG_CACHE_LINE_SIZE=0 # # Specific BSP Capability Support # +CONFIG_NUM_DYNAMIC_STUBS=0 # CONFIG_PROT_MODE_SWITCH_PROMPT is not set # CONFIG_ADVANCED_IDLE_SUPPORTED is not set -CONFIG_BOOTLOADER_UNKNOWN=y -CONFIG_PIC=y + +# +# Bus options (PCI etc.) +# # CONFIG_PCI is not set CONFIG_BSP_DIR="generic_pc" -# -# Serial Ports -# -CONFIG_EXTRA_SERIAL_PORT=y - -# -# Timer Configuration -# -# CONFIG_HPET_TIMER is not set - -# -# Interrupt Controller Configuration -# -# CONFIG_IOAPIC is not set -# CONFIG_LOAPIC is not set - # # Device Drivers # @@ -154,10 +146,27 @@ CONFIG_EXTRA_SERIAL_PORT=y # # Serial Drivers # + +# +# Serial Port Options +# +CONFIG_EXTRA_SERIAL_PORT=y CONFIG_NS16550=y # CONFIG_K20_UART is not set # CONFIG_STELLARIS_UART is not set # CONFIG_UART_INTERRUPT_DRIVEN is not set + +# +# Interrupt Controllers +# +CONFIG_PIC=y +# CONFIG_LOAPIC is not set +# CONFIG_IOAPIC is not set + +# +# Timer Drivers +# +# CONFIG_HPET_TIMER is not set CONFIG_PIT=y # @@ -165,5 +174,10 @@ CONFIG_PIT=y # # CONFIG_RANDOM_GENERATOR is not set # CONFIG_TEST_RANDOM_GENERATOR is not set + +# +# Networking +# # CONFIG_BLUETOOTH is not set +# CONFIG_NETWORKING is not set CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG" diff --git a/arch/x86/configs/micro_generic_pc_pentium4_defconfig b/arch/x86/configs/micro_generic_pc_pentium4_defconfig index 44a5c222e1e..734693f2cac 100644 --- a/arch/x86/configs/micro_generic_pc_pentium4_defconfig +++ b/arch/x86/configs/micro_generic_pc_pentium4_defconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Zephyr OS/x86 Configuration +# Zephyr Kernel/x86 Configuration # CONFIG_X86_32=y CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig" @@ -30,6 +30,8 @@ CONFIG_ENHANCED_SECURITY=y CONFIG_MAIN_STACK_SIZE=1024 CONFIG_ISR_STACK_SIZE=2048 # CONFIG_CONTEXT_CUSTOM_DATA is not set +# CONFIG_NANO_TIMEOUTS is not set +# CONFIG_NANO_TIMERS is not set # # Microkernel Options @@ -51,7 +53,6 @@ CONFIG_TIMESLICE_SIZE=0 CONFIG_TIMESLICE_PRIORITY=0 # CONFIG_TASK_MONITOR is not set # CONFIG_ADVANCED_POWER_MANAGEMENT is not set -CONFIG_PRINTK=y # # General Setup @@ -68,12 +69,16 @@ CONFIG_MINIMAL_LIBC=y # # Debugging Options # +CONFIG_PRINTK=y # CONFIG_STDOUT_CONSOLE is not set # CONFIG_ASSERT is not set # -# System Monitoring Options +# Bootloader Options # +# CONFIG_BOOTLOADER_KEXEC is not set +# CONFIG_BOOTLOADER_GRUB is not set +CONFIG_BOOTLOADER_UNKNOWN=y # # x86 Core Options @@ -120,34 +125,21 @@ CONFIG_CACHE_LINE_SIZE=64 # # Specific BSP Capability Support # +CONFIG_NUM_DYNAMIC_STUBS=0 # CONFIG_PROT_MODE_SWITCH_PROMPT is not set # CONFIG_ADVANCED_IDLE_SUPPORTED is not set -CONFIG_BOOTLOADER_UNKNOWN=y -CONFIG_PIC=y # # Floating Point Options # # CONFIG_FLOAT is not set + +# +# Bus options (PCI etc.) +# # CONFIG_PCI is not set CONFIG_BSP_DIR="generic_pc" -# -# Serial Ports -# -CONFIG_EXTRA_SERIAL_PORT=y - -# -# Timer Configuration -# -# CONFIG_HPET_TIMER is not set - -# -# Interrupt Controller Configuration -# -# CONFIG_IOAPIC is not set -# CONFIG_LOAPIC is not set - # # Device Drivers # @@ -157,10 +149,27 @@ CONFIG_EXTRA_SERIAL_PORT=y # # Serial Drivers # + +# +# Serial Port Options +# +CONFIG_EXTRA_SERIAL_PORT=y CONFIG_NS16550=y # CONFIG_K20_UART is not set # CONFIG_STELLARIS_UART is not set # CONFIG_UART_INTERRUPT_DRIVEN is not set + +# +# Interrupt Controllers +# +CONFIG_PIC=y +# CONFIG_LOAPIC is not set +# CONFIG_IOAPIC is not set + +# +# Timer Drivers +# +# CONFIG_HPET_TIMER is not set CONFIG_PIT=y # @@ -168,5 +177,10 @@ CONFIG_PIT=y # # CONFIG_RANDOM_GENERATOR is not set # CONFIG_TEST_RANDOM_GENERATOR is not set + +# +# Networking +# # CONFIG_BLUETOOTH is not set +# CONFIG_NETWORKING is not set CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG" diff --git a/arch/x86/configs/micro_quark_defconfig b/arch/x86/configs/micro_quark_defconfig index f10c38f0dcb..5b74632a450 100644 --- a/arch/x86/configs/micro_quark_defconfig +++ b/arch/x86/configs/micro_quark_defconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Zephyr OS/x86 Configuration +# Zephyr Kernel/x86 Configuration # CONFIG_X86_32=y CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig" @@ -30,6 +30,8 @@ CONFIG_ENHANCED_SECURITY=y CONFIG_MAIN_STACK_SIZE=1024 CONFIG_ISR_STACK_SIZE=2048 # CONFIG_CONTEXT_CUSTOM_DATA is not set +# CONFIG_NANO_TIMEOUTS is not set +# CONFIG_NANO_TIMERS is not set # # Microkernel Options @@ -51,7 +53,6 @@ CONFIG_TIMESLICE_SIZE=0 CONFIG_TIMESLICE_PRIORITY=0 # CONFIG_TASK_MONITOR is not set # CONFIG_ADVANCED_POWER_MANAGEMENT is not set -CONFIG_PRINTK=y # # General Setup @@ -68,12 +69,16 @@ CONFIG_MINIMAL_LIBC=y # # Debugging Options # +CONFIG_PRINTK=y # CONFIG_STDOUT_CONSOLE is not set # CONFIG_ASSERT is not set # -# System Monitoring Options +# Bootloader Options # +# CONFIG_BOOTLOADER_KEXEC is not set +CONFIG_BOOTLOADER_GRUB=y +CONFIG_BOOTLOADER_UNKNOWN=y # # x86 Core Options @@ -122,34 +127,17 @@ CONFIG_CACHE_LINE_SIZE=0 # # Specific BSP Capability Support # +CONFIG_NUM_DYNAMIC_STUBS=0 # CONFIG_PROT_MODE_SWITCH_PROMPT is not set # CONFIG_ADVANCED_IDLE_SUPPORTED is not set -CONFIG_BOOTLOADER_UNKNOWN=y # CONFIG_SHUTOFF_PIC is not set + +# +# Bus options (PCI etc.) +# CONFIG_PCI=y # CONFIG_PCI_DEBUG is not set CONFIG_BSP_DIR="quark" -CONFIG_EXTRA_SERIAL_PORT=y -CONFIG_SERIAL_INTERRUPT_LEVEL=y -# CONFIG_SERIAL_INTERRUPT_LOW is not set -CONFIG_MAX_PCI_DEVS=8 -# CONFIG_BOOTLOADER_KEXEC is not set -CONFIG_BOOTLOADER_GRUB=y - -# -# Serial Ports -# - -# -# Timer Configuration -# -CONFIG_HPET_TIMER=y - -# -# Interrupt Controller Configuration -# -CONFIG_IOAPIC=y -CONFIG_LOAPIC=y # # Device Drivers @@ -160,10 +148,30 @@ CONFIG_LOAPIC=y # # Serial Drivers # + +# +# Serial Port Options +# +CONFIG_EXTRA_SERIAL_PORT=y +CONFIG_SERIAL_INTERRUPT_LEVEL=y +# CONFIG_SERIAL_INTERRUPT_LOW is not set CONFIG_NS16550=y # CONFIG_K20_UART is not set # CONFIG_STELLARIS_UART is not set # CONFIG_UART_INTERRUPT_DRIVEN is not set + +# +# Interrupt Controllers +# +# CONFIG_PIC is not set +CONFIG_LOAPIC=y +CONFIG_IOAPIC=y + +# +# Timer Drivers +# +CONFIG_HPET_TIMER=y +# CONFIG_LOAPIC_TIMER is not set # CONFIG_PIT is not set # @@ -171,5 +179,10 @@ CONFIG_NS16550=y # # CONFIG_RANDOM_GENERATOR is not set # CONFIG_TEST_RANDOM_GENERATOR is not set + +# +# Networking +# # CONFIG_BLUETOOTH is not set +# CONFIG_NETWORKING is not set CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG" diff --git a/arch/x86/configs/nano_generic_pc_atom_n28xx_defconfig b/arch/x86/configs/nano_generic_pc_atom_n28xx_defconfig index 02f396b7cbe..272f816ddd0 100644 --- a/arch/x86/configs/nano_generic_pc_atom_n28xx_defconfig +++ b/arch/x86/configs/nano_generic_pc_atom_n28xx_defconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Zephyr OS/x86 Configuration +# Zephyr Kernel/x86 Configuration # CONFIG_X86_32=y CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig" @@ -30,7 +30,8 @@ CONFIG_ENHANCED_SECURITY=y CONFIG_MAIN_STACK_SIZE=1024 CONFIG_ISR_STACK_SIZE=2048 # CONFIG_CONTEXT_CUSTOM_DATA is not set -CONFIG_PRINTK=y +# CONFIG_NANO_TIMEOUTS is not set +CONFIG_NANO_TIMERS=y # # General Setup @@ -47,12 +48,16 @@ CONFIG_MINIMAL_LIBC=y # # Debugging Options # +CONFIG_PRINTK=y # CONFIG_STDOUT_CONSOLE is not set # CONFIG_ASSERT is not set # -# System Monitoring Options +# Bootloader Options # +# CONFIG_BOOTLOADER_KEXEC is not set +# CONFIG_BOOTLOADER_GRUB is not set +CONFIG_BOOTLOADER_UNKNOWN=y # # x86 Core Options @@ -99,38 +104,23 @@ CONFIG_CACHE_LINE_SIZE=64 # # Specific BSP Capability Support # +CONFIG_NUM_DYNAMIC_STUBS=0 # CONFIG_PROT_MODE_SWITCH_PROMPT is not set # CONFIG_ADVANCED_IDLE_SUPPORTED is not set -CONFIG_BOOTLOADER_UNKNOWN=y CONFIG_SHUTOFF_PIC=y # # Floating Point Options # # CONFIG_FLOAT is not set + +# +# Bus options (PCI etc.) +# # CONFIG_PCI is not set CONFIG_BSP_DIR="generic_pc" CONFIG_LOAPIC_TIMER_FREQ=150000000 -# -# Serial Ports -# -CONFIG_EXTRA_SERIAL_PORT=y -CONFIG_SERIAL_INTERRUPT_LEVEL=y -# CONFIG_SERIAL_INTERRUPT_LOW is not set - -# -# Timer Configuration -# -# CONFIG_HPET_TIMER is not set -CONFIG_LOAPIC_TIMER=y - -# -# Interrupt Controller Configuration -# -CONFIG_IOAPIC=y -CONFIG_LOAPIC=y - # # Device Drivers # @@ -140,10 +130,30 @@ CONFIG_LOAPIC=y # # Serial Drivers # + +# +# Serial Port Options +# +CONFIG_EXTRA_SERIAL_PORT=y +CONFIG_SERIAL_INTERRUPT_LEVEL=y +# CONFIG_SERIAL_INTERRUPT_LOW is not set CONFIG_NS16550=y # CONFIG_K20_UART is not set # CONFIG_STELLARIS_UART is not set # CONFIG_UART_INTERRUPT_DRIVEN is not set + +# +# Interrupt Controllers +# +# CONFIG_PIC is not set +CONFIG_LOAPIC=y +CONFIG_IOAPIC=y + +# +# Timer Drivers +# +# CONFIG_HPET_TIMER is not set +CONFIG_LOAPIC_TIMER=y # CONFIG_PIT is not set # @@ -151,5 +161,10 @@ CONFIG_NS16550=y # # CONFIG_RANDOM_GENERATOR is not set # CONFIG_TEST_RANDOM_GENERATOR is not set + +# +# Networking +# # CONFIG_BLUETOOTH is not set +# CONFIG_NETWORKING is not set CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG" diff --git a/arch/x86/configs/nano_generic_pc_defconfig b/arch/x86/configs/nano_generic_pc_defconfig index 432ea8948f9..242b0835d61 100644 --- a/arch/x86/configs/nano_generic_pc_defconfig +++ b/arch/x86/configs/nano_generic_pc_defconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Zephyr OS/x86 Configuration +# Zephyr Kernel/x86 Configuration # CONFIG_X86_32=y CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig" @@ -30,7 +30,8 @@ CONFIG_ENHANCED_SECURITY=y CONFIG_MAIN_STACK_SIZE=1024 CONFIG_ISR_STACK_SIZE=2048 # CONFIG_CONTEXT_CUSTOM_DATA is not set -CONFIG_PRINTK=y +# CONFIG_NANO_TIMEOUTS is not set +CONFIG_NANO_TIMERS=y # # General Setup @@ -47,12 +48,16 @@ CONFIG_MINIMAL_LIBC=y # # Debugging Options # +CONFIG_PRINTK=y # CONFIG_STDOUT_CONSOLE is not set # CONFIG_ASSERT is not set # -# System Monitoring Options +# Bootloader Options # +# CONFIG_BOOTLOADER_KEXEC is not set +# CONFIG_BOOTLOADER_GRUB is not set +CONFIG_BOOTLOADER_UNKNOWN=y # # x86 Core Options @@ -99,34 +104,21 @@ CONFIG_CACHE_LINE_SIZE=64 # # Specific BSP Capability Support # +CONFIG_NUM_DYNAMIC_STUBS=0 # CONFIG_PROT_MODE_SWITCH_PROMPT is not set # CONFIG_ADVANCED_IDLE_SUPPORTED is not set -CONFIG_BOOTLOADER_UNKNOWN=y -CONFIG_PIC=y # # Floating Point Options # # CONFIG_FLOAT is not set + +# +# Bus options (PCI etc.) +# # CONFIG_PCI is not set CONFIG_BSP_DIR="generic_pc" -# -# Serial Ports -# -CONFIG_EXTRA_SERIAL_PORT=y - -# -# Timer Configuration -# -# CONFIG_HPET_TIMER is not set - -# -# Interrupt Controller Configuration -# -# CONFIG_IOAPIC is not set -# CONFIG_LOAPIC is not set - # # Device Drivers # @@ -136,10 +128,27 @@ CONFIG_EXTRA_SERIAL_PORT=y # # Serial Drivers # + +# +# Serial Port Options +# +CONFIG_EXTRA_SERIAL_PORT=y CONFIG_NS16550=y # CONFIG_K20_UART is not set # CONFIG_STELLARIS_UART is not set # CONFIG_UART_INTERRUPT_DRIVEN is not set + +# +# Interrupt Controllers +# +CONFIG_PIC=y +# CONFIG_LOAPIC is not set +# CONFIG_IOAPIC is not set + +# +# Timer Drivers +# +# CONFIG_HPET_TIMER is not set CONFIG_PIT=y # @@ -147,5 +156,10 @@ CONFIG_PIT=y # # CONFIG_RANDOM_GENERATOR is not set # CONFIG_TEST_RANDOM_GENERATOR is not set + +# +# Networking +# # CONFIG_BLUETOOTH is not set +# CONFIG_NETWORKING is not set CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG" diff --git a/arch/x86/configs/nano_generic_pc_minuteia_defconfig b/arch/x86/configs/nano_generic_pc_minuteia_defconfig index 85ea51863b5..7291e6d39ec 100644 --- a/arch/x86/configs/nano_generic_pc_minuteia_defconfig +++ b/arch/x86/configs/nano_generic_pc_minuteia_defconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Zephyr OS/x86 Configuration +# Zephyr Kernel/x86 Configuration # CONFIG_X86_32=y CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig" @@ -30,7 +30,8 @@ CONFIG_ENHANCED_SECURITY=y CONFIG_MAIN_STACK_SIZE=1024 CONFIG_ISR_STACK_SIZE=2048 # CONFIG_CONTEXT_CUSTOM_DATA is not set -CONFIG_PRINTK=y +# CONFIG_NANO_TIMEOUTS is not set +CONFIG_NANO_TIMERS=y # # General Setup @@ -47,12 +48,16 @@ CONFIG_MINIMAL_LIBC=y # # Debugging Options # +CONFIG_PRINTK=y # CONFIG_STDOUT_CONSOLE is not set # CONFIG_ASSERT is not set # -# System Monitoring Options +# Bootloader Options # +# CONFIG_BOOTLOADER_KEXEC is not set +# CONFIG_BOOTLOADER_GRUB is not set +CONFIG_BOOTLOADER_UNKNOWN=y # # x86 Core Options @@ -101,29 +106,16 @@ CONFIG_CACHE_LINE_SIZE=0 # # Specific BSP Capability Support # +CONFIG_NUM_DYNAMIC_STUBS=0 # CONFIG_PROT_MODE_SWITCH_PROMPT is not set # CONFIG_ADVANCED_IDLE_SUPPORTED is not set -CONFIG_BOOTLOADER_UNKNOWN=y -CONFIG_PIC=y + +# +# Bus options (PCI etc.) +# # CONFIG_PCI is not set CONFIG_BSP_DIR="generic_pc" -# -# Serial Ports -# -CONFIG_EXTRA_SERIAL_PORT=y - -# -# Timer Configuration -# -# CONFIG_HPET_TIMER is not set - -# -# Interrupt Controller Configuration -# -# CONFIG_IOAPIC is not set -# CONFIG_LOAPIC is not set - # # Device Drivers # @@ -133,10 +125,27 @@ CONFIG_EXTRA_SERIAL_PORT=y # # Serial Drivers # + +# +# Serial Port Options +# +CONFIG_EXTRA_SERIAL_PORT=y CONFIG_NS16550=y # CONFIG_K20_UART is not set # CONFIG_STELLARIS_UART is not set # CONFIG_UART_INTERRUPT_DRIVEN is not set + +# +# Interrupt Controllers +# +CONFIG_PIC=y +# CONFIG_LOAPIC is not set +# CONFIG_IOAPIC is not set + +# +# Timer Drivers +# +# CONFIG_HPET_TIMER is not set CONFIG_PIT=y # @@ -144,5 +153,10 @@ CONFIG_PIT=y # # CONFIG_RANDOM_GENERATOR is not set # CONFIG_TEST_RANDOM_GENERATOR is not set + +# +# Networking +# # CONFIG_BLUETOOTH is not set +# CONFIG_NETWORKING is not set CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG" diff --git a/arch/x86/configs/nano_generic_pc_pentium4_defconfig b/arch/x86/configs/nano_generic_pc_pentium4_defconfig index 432ea8948f9..242b0835d61 100644 --- a/arch/x86/configs/nano_generic_pc_pentium4_defconfig +++ b/arch/x86/configs/nano_generic_pc_pentium4_defconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Zephyr OS/x86 Configuration +# Zephyr Kernel/x86 Configuration # CONFIG_X86_32=y CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig" @@ -30,7 +30,8 @@ CONFIG_ENHANCED_SECURITY=y CONFIG_MAIN_STACK_SIZE=1024 CONFIG_ISR_STACK_SIZE=2048 # CONFIG_CONTEXT_CUSTOM_DATA is not set -CONFIG_PRINTK=y +# CONFIG_NANO_TIMEOUTS is not set +CONFIG_NANO_TIMERS=y # # General Setup @@ -47,12 +48,16 @@ CONFIG_MINIMAL_LIBC=y # # Debugging Options # +CONFIG_PRINTK=y # CONFIG_STDOUT_CONSOLE is not set # CONFIG_ASSERT is not set # -# System Monitoring Options +# Bootloader Options # +# CONFIG_BOOTLOADER_KEXEC is not set +# CONFIG_BOOTLOADER_GRUB is not set +CONFIG_BOOTLOADER_UNKNOWN=y # # x86 Core Options @@ -99,34 +104,21 @@ CONFIG_CACHE_LINE_SIZE=64 # # Specific BSP Capability Support # +CONFIG_NUM_DYNAMIC_STUBS=0 # CONFIG_PROT_MODE_SWITCH_PROMPT is not set # CONFIG_ADVANCED_IDLE_SUPPORTED is not set -CONFIG_BOOTLOADER_UNKNOWN=y -CONFIG_PIC=y # # Floating Point Options # # CONFIG_FLOAT is not set + +# +# Bus options (PCI etc.) +# # CONFIG_PCI is not set CONFIG_BSP_DIR="generic_pc" -# -# Serial Ports -# -CONFIG_EXTRA_SERIAL_PORT=y - -# -# Timer Configuration -# -# CONFIG_HPET_TIMER is not set - -# -# Interrupt Controller Configuration -# -# CONFIG_IOAPIC is not set -# CONFIG_LOAPIC is not set - # # Device Drivers # @@ -136,10 +128,27 @@ CONFIG_EXTRA_SERIAL_PORT=y # # Serial Drivers # + +# +# Serial Port Options +# +CONFIG_EXTRA_SERIAL_PORT=y CONFIG_NS16550=y # CONFIG_K20_UART is not set # CONFIG_STELLARIS_UART is not set # CONFIG_UART_INTERRUPT_DRIVEN is not set + +# +# Interrupt Controllers +# +CONFIG_PIC=y +# CONFIG_LOAPIC is not set +# CONFIG_IOAPIC is not set + +# +# Timer Drivers +# +# CONFIG_HPET_TIMER is not set CONFIG_PIT=y # @@ -147,5 +156,10 @@ CONFIG_PIT=y # # CONFIG_RANDOM_GENERATOR is not set # CONFIG_TEST_RANDOM_GENERATOR is not set + +# +# Networking +# # CONFIG_BLUETOOTH is not set +# CONFIG_NETWORKING is not set CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG" diff --git a/arch/x86/configs/nano_quark_defconfig b/arch/x86/configs/nano_quark_defconfig index 29c46852cb7..674d104615e 100644 --- a/arch/x86/configs/nano_quark_defconfig +++ b/arch/x86/configs/nano_quark_defconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Zephyr OS/x86 Configuration +# Zephyr Kernel/x86 Configuration # CONFIG_X86_32=y CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig" @@ -30,7 +30,8 @@ CONFIG_ENHANCED_SECURITY=y CONFIG_MAIN_STACK_SIZE=1024 CONFIG_ISR_STACK_SIZE=2048 # CONFIG_CONTEXT_CUSTOM_DATA is not set -CONFIG_PRINTK=y +# CONFIG_NANO_TIMEOUTS is not set +CONFIG_NANO_TIMERS=y # # General Setup @@ -47,12 +48,16 @@ CONFIG_MINIMAL_LIBC=y # # Debugging Options # +CONFIG_PRINTK=y # CONFIG_STDOUT_CONSOLE is not set # CONFIG_ASSERT is not set # -# System Monitoring Options +# Bootloader Options # +# CONFIG_BOOTLOADER_KEXEC is not set +CONFIG_BOOTLOADER_GRUB=y +CONFIG_BOOTLOADER_UNKNOWN=y # # x86 Core Options @@ -101,34 +106,17 @@ CONFIG_CACHE_LINE_SIZE=0 # # Specific BSP Capability Support # +CONFIG_NUM_DYNAMIC_STUBS=0 # CONFIG_PROT_MODE_SWITCH_PROMPT is not set # CONFIG_ADVANCED_IDLE_SUPPORTED is not set -CONFIG_BOOTLOADER_UNKNOWN=y # CONFIG_SHUTOFF_PIC is not set + +# +# Bus options (PCI etc.) +# CONFIG_PCI=y # CONFIG_PCI_DEBUG is not set CONFIG_BSP_DIR="quark" -CONFIG_EXTRA_SERIAL_PORT=y -CONFIG_SERIAL_INTERRUPT_LEVEL=y -# CONFIG_SERIAL_INTERRUPT_LOW is not set -CONFIG_MAX_PCI_DEVS=8 -# CONFIG_BOOTLOADER_KEXEC is not set -CONFIG_BOOTLOADER_GRUB=y - -# -# Serial Ports -# - -# -# Timer Configuration -# -CONFIG_HPET_TIMER=y - -# -# Interrupt Controller Configuration -# -CONFIG_IOAPIC=y -CONFIG_LOAPIC=y # # Device Drivers @@ -139,10 +127,30 @@ CONFIG_LOAPIC=y # # Serial Drivers # + +# +# Serial Port Options +# +CONFIG_EXTRA_SERIAL_PORT=y +CONFIG_SERIAL_INTERRUPT_LEVEL=y +# CONFIG_SERIAL_INTERRUPT_LOW is not set CONFIG_NS16550=y # CONFIG_K20_UART is not set # CONFIG_STELLARIS_UART is not set # CONFIG_UART_INTERRUPT_DRIVEN is not set + +# +# Interrupt Controllers +# +# CONFIG_PIC is not set +CONFIG_LOAPIC=y +CONFIG_IOAPIC=y + +# +# Timer Drivers +# +CONFIG_HPET_TIMER=y +# CONFIG_LOAPIC_TIMER is not set # CONFIG_PIT is not set # @@ -150,5 +158,10 @@ CONFIG_NS16550=y # # CONFIG_RANDOM_GENERATOR is not set # CONFIG_TEST_RANDOM_GENERATOR is not set + +# +# Networking +# # CONFIG_BLUETOOTH is not set +# CONFIG_NETWORKING is not set CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG" diff --git a/arch/x86/defconfig b/arch/x86/defconfig index f10c38f0dcb..5b74632a450 100644 --- a/arch/x86/defconfig +++ b/arch/x86/defconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Zephyr OS/x86 Configuration +# Zephyr Kernel/x86 Configuration # CONFIG_X86_32=y CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig" @@ -30,6 +30,8 @@ CONFIG_ENHANCED_SECURITY=y CONFIG_MAIN_STACK_SIZE=1024 CONFIG_ISR_STACK_SIZE=2048 # CONFIG_CONTEXT_CUSTOM_DATA is not set +# CONFIG_NANO_TIMEOUTS is not set +# CONFIG_NANO_TIMERS is not set # # Microkernel Options @@ -51,7 +53,6 @@ CONFIG_TIMESLICE_SIZE=0 CONFIG_TIMESLICE_PRIORITY=0 # CONFIG_TASK_MONITOR is not set # CONFIG_ADVANCED_POWER_MANAGEMENT is not set -CONFIG_PRINTK=y # # General Setup @@ -68,12 +69,16 @@ CONFIG_MINIMAL_LIBC=y # # Debugging Options # +CONFIG_PRINTK=y # CONFIG_STDOUT_CONSOLE is not set # CONFIG_ASSERT is not set # -# System Monitoring Options +# Bootloader Options # +# CONFIG_BOOTLOADER_KEXEC is not set +CONFIG_BOOTLOADER_GRUB=y +CONFIG_BOOTLOADER_UNKNOWN=y # # x86 Core Options @@ -122,34 +127,17 @@ CONFIG_CACHE_LINE_SIZE=0 # # Specific BSP Capability Support # +CONFIG_NUM_DYNAMIC_STUBS=0 # CONFIG_PROT_MODE_SWITCH_PROMPT is not set # CONFIG_ADVANCED_IDLE_SUPPORTED is not set -CONFIG_BOOTLOADER_UNKNOWN=y # CONFIG_SHUTOFF_PIC is not set + +# +# Bus options (PCI etc.) +# CONFIG_PCI=y # CONFIG_PCI_DEBUG is not set CONFIG_BSP_DIR="quark" -CONFIG_EXTRA_SERIAL_PORT=y -CONFIG_SERIAL_INTERRUPT_LEVEL=y -# CONFIG_SERIAL_INTERRUPT_LOW is not set -CONFIG_MAX_PCI_DEVS=8 -# CONFIG_BOOTLOADER_KEXEC is not set -CONFIG_BOOTLOADER_GRUB=y - -# -# Serial Ports -# - -# -# Timer Configuration -# -CONFIG_HPET_TIMER=y - -# -# Interrupt Controller Configuration -# -CONFIG_IOAPIC=y -CONFIG_LOAPIC=y # # Device Drivers @@ -160,10 +148,30 @@ CONFIG_LOAPIC=y # # Serial Drivers # + +# +# Serial Port Options +# +CONFIG_EXTRA_SERIAL_PORT=y +CONFIG_SERIAL_INTERRUPT_LEVEL=y +# CONFIG_SERIAL_INTERRUPT_LOW is not set CONFIG_NS16550=y # CONFIG_K20_UART is not set # CONFIG_STELLARIS_UART is not set # CONFIG_UART_INTERRUPT_DRIVEN is not set + +# +# Interrupt Controllers +# +# CONFIG_PIC is not set +CONFIG_LOAPIC=y +CONFIG_IOAPIC=y + +# +# Timer Drivers +# +CONFIG_HPET_TIMER=y +# CONFIG_LOAPIC_TIMER is not set # CONFIG_PIT is not set # @@ -171,5 +179,10 @@ CONFIG_NS16550=y # # CONFIG_RANDOM_GENERATOR is not set # CONFIG_TEST_RANDOM_GENERATOR is not set + +# +# Networking +# # CONFIG_BLUETOOTH is not set +# CONFIG_NETWORKING is not set CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"