#
# Automatically generated file; DO NOT EDIT.
# Tiny Mountain/x86 Configuration
#
CONFIG_X86_32=y
CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig"
CONFIG_NANOKERNEL=y
# CONFIG_MICROKERNEL is not set

#
# General Kernel Options
#
CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
CONFIG_SYS_CLOCK_EXISTS=y
# CONFIG_INIT_STACKS is not set
# CONFIG_XIP is not set
CONFIG_ENHANCED_SECURITY=y

#
# Security Options
#
# CONFIG_CUSTOM_SECURITY is not set
# CONFIG_STACK_CANARIES is not set

#
# Nanokernel Options
#
# CONFIG_BOOT_BANNER is not set
CONFIG_MAIN_STACK_SIZE=1024
CONFIG_ISR_STACK_SIZE=2048
# CONFIG_CONTEXT_CUSTOM_DATA is not set
CONFIG_PRINTK=y

#
# General Setup
#
# CONFIG_EXPERIMENTAL is not set
CONFIG_CROSS_COMPILE=""

#
# Compile and Link Features
#
CONFIG_COMPILER_OPT=""
CONFIG_MINIMAL_LIBC=y

#
# Debugging Options
#
# CONFIG_STDOUT_CONSOLE is not set
# CONFIG_ASSERT is not set

#
# System Monitoring Options
#

#
# x86 Core Options
#
# CONFIG_NO_ISRS is not set

#
# Memory Layout Options
#
CONFIG_IDT_NUM_VECTORS=256
CONFIG_NUM_GDT_SPARE_ENTRIES=0
CONFIG_PHYS_LOAD_ADDR=0x00100000

#
# Board Capabilities
#
# 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

#
# BSP General Configuration
#
# CONFIG_BSP_ATOM_N28XX is not set
# CONFIG_BSP_PCMINUTEIA is not set
# CONFIG_BSP_PCPENTIUM4 is not set
CONFIG_BSP_QUARK=y
# CONFIG_BSP_GENERIC_PC is not set
CONFIG_CPU_MINUTEIA=y
# CONFIG_CPU_PENTIUM4 is not set
# CONFIG_CPU_MIGHT_SUPPORT_CLFLUSH is not set

#
# Specific CPU Capability Support
#
CONFIG_ISA_IA32=y
CONFIG_HARDWARE_BP_SUPPORTED=y
# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
CONFIG_CMOV_UNSUPPORTED=y
CONFIG_CPU_FLOAT_UNSUPPORTED=y
CONFIG_CPU_SSE_UNSUPPORTED=y
CONFIG_CACHE_LINE_SIZE=0

#
# Specific BSP Capability Support
#
# CONFIG_DYNAMIC_INT_STUBS is not set
# 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
CONFIG_PCI=y
# CONFIG_CUSTOM_RANDOM_GENERATOR 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
#
# CONFIG_CONSOLE_HANDLER is not set

#
# Serial Drivers
#
CONFIG_NS16550=y
# CONFIG_K20_UART is not set
# CONFIG_STELLARIS_UART is not set
# CONFIG_UART_INTERRUPT_DRIVEN is not set
# CONFIG_PIT is not set

#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_BLUETOOTH is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"