#
# Automatically generated, don't edit
#
# Generated on: nofx
# At: Wed, 28 Jan 2004 03:53:21 +0000
# Linux version 2.6.0-test7 (benno@nofx) (gcc version 3.3.2 20031005 (Debian prerelease)) #1 Fri Oct 10 11:37:38 EST 2003

#
# Pistachio Kernel Configuration System
#

#
# Hardware
#

#
# Basic Architecture
#
CONFIG_ARCH_IA32=y
# CONFIG_ARCH_IA64 is not set
# CONFIG_ARCH_POWERPC is not set
# CONFIG_ARCH_POWERPC64 is not set
# CONFIG_ARCH_AMD64 is not set
# CONFIG_ARCH_ALPHA is not set
# CONFIG_ARCH_MIPS64 is not set
# CONFIG_ARCH_ARM is not set
# CONFIG_ARCH_SPARC64 is not set


#
# Processor Type
#
CONFIG_CPU_IA32_I586=y
# CONFIG_CPU_IA32_I686 is not set
# CONFIG_CPU_IA32_P4 is not set


#
# Platform
#
CONFIG_PLAT_PC99=y

# CONFIG_SMP is not set

#
# Miscellaneous
#
# CONFIG_IOAPIC is not set



#
# Kernel
#
# CONFIG_IPC_FASTPATH is not set
CONFIG_DEBUG=y
# CONFIG_IA32_SMALL_SPACES is not set


#
# Debugger
#
CONFIG_KDB=y

#
# Kernel Debugger Console
#
CONFIG_KDB_CONS_KBD=y
# CONFIG_KDB_CONS_COM is not set
# CONFIG_KDB_CONS_SKI is not set

# CONFIG_KDB_DISAS is not set
# CONFIG_KDB_ON_STARTUP is not set
# CONFIG_KDB_BREAKIN is not set
# CONFIG_KDB_NO_ASSERTS is not set

#
# Trace Settings
#
# CONFIG_VERBOSE_INIT is not set
CONFIG_TRACEPOINTS=y
# CONFIG_KMEM_TRACE is not set
# CONFIG_TRACEBUFFER is not set
# CONFIG_IA32_KEEP_LAST_BRANCHES is not set



#
# Code Generator Options
#


#
# Derived symbols
#
# CONFIG_HAVE_MEMORY_CONTROL is not set
# CONFIG_IA32_PGE is not set
# CONFIG_PLAT_OFSPARC64 is not set
# CONFIG_CPU_ALPHA_A21264 is not set
# CONFIG_IA32_FXSR is not set
# CONFIG_CPU_ALPHA_A21064 is not set
# CONFIG_BIGENDIAN is not set
CONFIG_IS_32BIT=y
# CONFIG_CPU_SPARC64_ULTRASPARC is not set
# CONFIG_SWIZZLE_IO_ADDR is not set
# CONFIG_IS_64BIT is not set
# CONFIG_IA32_SMALL_SPACES_GLOBAL is not set
# CONFIG_SPARC64_ULTRASPARC2I is not set
# CONFIG_SPARC64_ULTRASPARC1 is not set
# CONFIG_SPARC64_ULTRASPARC2 is not set
# CONFIG_ACPI is not set
# CONFIG_ALPHA_FASTPATH is not set
# CONFIG_CPU_ALPHA_A21164 is not set
# CONFIG_IA32_SYSENTER is not set
# CONFIG_IA32_HTT is not set
#
# That's all, folks!
