#
# Automatically generated, don't edit
#
# Generated on: cauchy
# At: Thu, 30 Sep 2010 08:04:40 +0000
# Linux version 2.6.35.2 (root@cauchy) (gcc version 4.4.4 (Debian 4.4.4-7) ) #1 SMP PREEMPT Tue Aug 17 11:22:08 CEST 2010

#
# Pistachio Kernel Configuration System
#

#
# Hardware
#

#
# Basic Architecture
#
CONFIG_ARCH_X86=y
CONFIG_ARCH_POWERPC=n
CONFIG_ARCH_POWERPC64=n


#
# X86 Processor Architecture
#
CONFIG_SUBARCH_X32=n
CONFIG_SUBARCH_X64=y


#
# Processor Type
#
CONFIG_CPU_X86_I486=n
CONFIG_CPU_X86_I586=n
CONFIG_CPU_X86_I686=n
CONFIG_CPU_X86_P4=n
CONFIG_CPU_X86_K8=y
CONFIG_CPU_X86_C3=n
CONFIG_CPU_X86_SIMICS=n


#
# Platform
#
CONFIG_PLAT_PC99=y


#
# Miscellaneous
#
CONFIG_IOAPIC=y
CONFIG_MAX_IOAPICS=2
CONFIG_APIC_TIMER_TICK=1000

CONFIG_SMP=y
CONFIG_SMP_MAX_PROCS=4
CONFIG_SMP_IDLE_POLL=n


#
# Kernel
#
CONFIG_EXPERIMENTAL=y

#
# Experimental Features
#
CONFIG_X_PAGER_EXREGS=y

#
# Kernel scheduling policy
#
CONFIG_SCHED_RR=n
CONFIG_X_SCHED_HS=y


CONFIG_IPC_FASTPATH=y
CONFIG_DEBUG=n
CONFIG_DEBUG_SYMBOLS=n
CONFIG_K8_FLUSHFILTER=n
CONFIG_PERFMON=n
CONFIG_SPIN_WHEELS=n
CONFIG_NEW_MDB=n
CONFIG_STATIC_TCBS=n
CONFIG_X86_COMPATIBILITY_MODE=n


#
# Debugger
#

#
# Kernel Debugger Console
#
CONFIG_KDB_CONS_COM=n

CONFIG_KDB_BREAKIN_BREAK=n
CONFIG_KDB_BREAKIN_ESCAPE=n


#
# Code Generator Options
#


#
# Derived symbols
#
CONFIG_HAVE_MEMORY_CONTROL=n
CONFIG_X86_PSE=y
CONFIG_BIGENDIAN=n
CONFIG_PPC_MMU_TLB=n
CONFIG_X86_SYSENTER=y
CONFIG_X86_PGE=y
CONFIG_X86_FXSR=y
CONFIG_IS_32BIT=n
CONFIG_X86_HTT=n
CONFIG_X86_PAT=y
CONFIG_PPC_BOOKE=n
CONFIG_IS_64BIT=y
CONFIG_MULTI_ARCHITECTURE=n
CONFIG_X86_EM64T=n
CONFIG_PPC_CACHE_L1_WRITETHROUGH=n
CONFIG_PPC_TLB_INV_LOCAL=n
CONFIG_PPC_CACHE_ICBI_LOCAL=n
CONFIG_X86_SMALL_SPACES_GLOBAL=n
CONFIG_X86_HVM=n
CONFIG_PPC_MMU_SEGMENTS=n
CONFIG_X86_TSC=y
#
# That's all, folks!