michaelh/zephyr
1
0
Fork 0
Code Releases Activity

Update default configurations

Browse source 
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 <anas.nashif@intel.com>
This commit is contained in:
Anas Nashif 2015-06-19 20:57:45 -04:00
commit bde0949049
17 changed files with 502 additions and 264 deletions
Download patch file Download diff file Expand all files Collapse all files

9
arch/arc/defconfig
View file

@ -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"

22
arch/arm/configs/micro_fsl_frdm_k64f_defconfig
View file

@ -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"

22
arch/arm/configs/micro_ti_lm3s6965_defconfig
View file

@ -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"

22
arch/arm/configs/nano_fsl_frdm_k64f_defconfig
View file

@ -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"

22
arch/arm/configs/nano_ti_lm3s6965_defconfig
View file

@ -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"

22
arch/arm/defconfig
View file

@ -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"

61
arch/x86/configs/micro_generic_pc_atom_n28xx_defconfig
View file

@ -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"

56
arch/x86/configs/micro_generic_pc_defconfig
View file

@ -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"

56
arch/x86/configs/micro_generic_pc_minuteia_defconfig
View file

@ -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"

56
arch/x86/configs/micro_generic_pc_pentium4_defconfig
View file

@ -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"

63
arch/x86/configs/micro_quark_defconfig
View file

@ -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"

61
arch/x86/configs/nano_generic_pc_atom_n28xx_defconfig
View file

@ -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"

56
arch/x86/configs/nano_generic_pc_defconfig
View file

@ -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"

56
arch/x86/configs/nano_generic_pc_minuteia_defconfig
View file

@ -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"

56
arch/x86/configs/nano_generic_pc_pentium4_defconfig
View file

@ -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"

63
arch/x86/configs/nano_quark_defconfig
View file

@ -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"

63
arch/x86/defconfig
View file

@ -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"