Set Quark as default x86 platform

Quark is the preferred target platform for the x86 architecture.

Change-Id: I2bf9bf209a85c93e38ea554e19de3f32813c3a69
Signed-off-by: Peter Mitsis <peter.mitsis@windriver.com>
This commit is contained in:
Peter Mitsis 2015-06-17 10:15:31 -04:00 committed by Anas Nashif
commit 30a49f8d4a

View file

@ -11,7 +11,7 @@ CONFIG_MICROKERNEL=y
# General Kernel Options
#
CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=1193180
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
CONFIG_SYS_CLOCK_EXISTS=y
# CONFIG_INIT_STACKS is not set
# CONFIG_XIP is not set
@ -90,7 +90,7 @@ CONFIG_PHYS_LOAD_ADDR=0x00100000
#
# Board Capabilities
#
CONFIG_BOI_HANDLER_SUPPORTED=y
# CONFIG_BOI_HANDLER_SUPPORTED is not set
CONFIG_EOI_HANDLER_SUPPORTED=y
# CONFIG_UNALIGNED_WRITE_UNSUPPORTED is not set
# CONFIG_LOCK_INSTRUCTION_UNSUPPORTED is not set
@ -100,12 +100,12 @@ CONFIG_EOI_HANDLER_SUPPORTED=y
#
# CONFIG_BSP_ATOM_N28XX is not set
# CONFIG_BSP_PCMINUTEIA is not set
CONFIG_BSP_PCPENTIUM4=y
# CONFIG_BSP_QUARK is not set
CONFIG_BSP_GENERIC_PC=y
# CONFIG_BSP_PCPENTIUM4 is not set
CONFIG_BSP_QUARK=y
# CONFIG_BSP_GENERIC_PC is not set
# CONFIG_CPU_ATOM is not set
# CONFIG_CPU_MINUTEIA is not set
CONFIG_CPU_PENTIUM4=y
CONFIG_CPU_MINUTEIA=y
# CONFIG_CPU_PENTIUM4 is not set
# CONFIG_CPU_MIGHT_SUPPORT_CLFLUSH is not set
#
@ -114,8 +114,10 @@ CONFIG_CPU_PENTIUM4=y
CONFIG_ISA_IA32=y
CONFIG_HARDWARE_BP_SUPPORTED=y
# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
# CONFIG_CPU_SSE_UNSUPPORTED is not set
CONFIG_CACHE_LINE_SIZE=64
CONFIG_CMOV_UNSUPPORTED=y
CONFIG_CPU_FLOAT_UNSUPPORTED=y
CONFIG_CPU_SSE_UNSUPPORTED=y
CONFIG_CACHE_LINE_SIZE=0
#
# Specific BSP Capability Support
@ -124,30 +126,31 @@ CONFIG_CACHE_LINE_SIZE=64
# 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
# CONFIG_PCI is not set
CONFIG_BSP_DIR="generic_pc"
# CONFIG_SHUTOFF_PIC is not set
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
#
CONFIG_EXTRA_SERIAL_PORT=y
#
# Timer Configuration
#
# CONFIG_HPET_TIMER is not set
CONFIG_HPET_TIMER=y
#
# Interrupt Controller Configuration
#
# CONFIG_IOAPIC is not set
# CONFIG_LOAPIC is not set
CONFIG_IOAPIC=y
CONFIG_LOAPIC=y
#
# Device Drivers
@ -162,7 +165,7 @@ CONFIG_NS16550=y
# CONFIG_K20_UART is not set
# CONFIG_STELLARIS_UART is not set
# CONFIG_UART_INTERRUPT_DRIVEN is not set
CONFIG_PIT=y
# CONFIG_PIT is not set
#
# Random Generation Configuration