#
# Automatically generated, don't edit
#
# Generated on: biggles
# At: Tue, 13 Sep 2005 05:51:21 +0000
# Linux version 2.4.27 (root@biggles) (gcc version 3.3.4 (Debian 1:3.3.4-6sarge1)) #1 SMP Mon Aug 23 11:14:13 EST 2004

#
# Pistachio Kernel Configuration System
#

#
# Hardware
#

#
# Basic Architecture
#
# CONFIG_ARCH_IA32 is not set
# 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=y
# CONFIG_ARCH_ARM is not set
# CONFIG_ARCH_SPARC64 is not set


#
# Processor Type
#
# CONFIG_CPU_IA32_I486 is not set
# CONFIG_CPU_IA32_I586 is not set
# CONFIG_CPU_IA32_I686 is not set
# CONFIG_CPU_IA32_P4 is not set
# CONFIG_CPU_IA32_K8 is not set
# CONFIG_CPU_IA32_C3 is not set


#
# Processor Type
#
# CONFIG_CPU_MIPS64_R4X00 is not set
# CONFIG_CPU_MIPS64_RC64574 is not set
CONFIG_CPU_MIPS64_SB1=y
# CONFIG_CPU_MIPS64_VR4121 is not set
# CONFIG_CPU_MIPS64_VR4181 is not set


#
# Platform
#
CONFIG_PLAT_PC99=y


#
# Platform
#
# CONFIG_PLAT_ERPCN01 is not set
# CONFIG_PLAT_U4600 is not set
CONFIG_PLAT_SB1=y
# CONFIG_PLAT_VR41XX is not set

# CONFIG_SMP is not set
CONFIG_SMP_MAX_PROCS=2
# CONFIG_UNCACHED is not set

#
# Miscellaneous
#
CONFIG_MAX_NUM_ASIDS=256
# CONFIG_PREEMPT_ASIDS is not set
CONFIG_BOOTMEM_PAGES=1024
# CONFIG_MIPS64_LITTLE_ENDIAN is not set
CONFIG_CPU_CLOCK_SPEED=500000
CONFIG_SB1_PASS1_WORKAROUNDS=y
# CONFIG_DISABLE_ALIGNMENT_EXCEPTIONS is not set



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


#
# Debugger
#
CONFIG_KDB=y
# CONFIG_KDB_DISAS is not set
CONFIG_KDB_ON_STARTUP=y
CONFIG_KDB_BREAKIN=y
# CONFIG_KDB_NO_ASSERTS is not set
CONFIG_ASSERT_LEVEL=2

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



#
# Code Generator Options
#


#
# Derived symbols
#
# CONFIG_IA32_FXSR is not set
# CONFIG_IA32_PGE is not set
# CONFIG_PLAT_OFSPARC64 is not set
# CONFIG_IA32_HTT is not set
CONFIG_BIGENDIAN=y
# CONFIG_SPARC64_SAB82532 is not set
# CONFIG_IS_32BIT is not set
# CONFIG_CPU_SPARC64_ULTRASPARC is not set
# CONFIG_ARM_BIG_ENDIAN is not set
# CONFIG_SWIZZLE_IO_ADDR is not set
CONFIG_IS_64BIT=y
# CONFIG_IA32_SMALL_SPACES_GLOBAL is not set
CONFIG_HAVE_MEMORY_CONTROL=y
# CONFIG_IA32_PSE is not set
# CONFIG_ARM_V5 is not set
# CONFIG_SPARC64_ULTRASPARC2I is not set
# CONFIG_ARM_THUMB_SUPPORT is not set
# CONFIG_IA32_TSC is not set
# CONFIG_SPARC64_ULTRASPARC1 is not set
# CONFIG_ACPI is not set
# CONFIG_SPARC64_Z8530 is not set
# CONFIG_ALPHA_FASTPATH is not set
# CONFIG_SPARC64_ULTRASPARC2 is not set
# CONFIG_IA32_SYSENTER is not set
#
# That's all, folks!
