#
# Automatically generated, don't edit
#
# Generated on: de72268a
# At: Mon, 04 Dec 2006 15:41:44 +0000
# CYGWIN_NT-5.1 1.5.21(0.156/4/2) 2006-07-30 14:21

#
# Pistachio Kernel Configuration System
#

#
# Hardware
#

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


#
# Processor Type
#
CONFIG_CPU_POWERPC_IBM750=y
# CONFIG_CPU_POWERPC_PPC604 is not set


#
# Platform
#
# CONFIG_PLAT_OFPPC is not set
CONFIG_PLAT_HELLAS=y

# CONFIG_SMP is not set

#
# Miscellaneous
#
# CONFIG_PPC_EXPOSE_OPIC is not set



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


#
# Debugger
#
CONFIG_KDB=y

#
# Consoles
#
CONFIG_KDB_CONS_MPSC=y

CONFIG_KDB_DISAS=y
# CONFIG_KDB_ON_STARTUP is not set
# CONFIG_KDB_NO_ASSERTS is not set

#
# Trace Settings
#
CONFIG_VERBOSE_INIT=y
CONFIG_TRACEPOINTS=y
CONFIG_KMEM_TRACE=y



#
# Code Generator Options
#
CONFIG_SYSV_ABI=y
# CONFIG_PPC_SEGMENT_LOOP is not set
CONFIG_PPC_MULTIWORD_INSTR=y


#
# Derived symbols
#
# CONFIG_HAVE_MEMORY_CONTROL is not set
# CONFIG_IS_64BIT is not set
# CONFIG_IA32_PGE 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=y
CONFIG_IS_32BIT=y
# CONFIG_SWIZZLE_IO_ADDR is not set
# CONFIG_ARM_BIG_ENDIAN is not set
# CONFIG_IA32_SMALL_SPACES_GLOBAL is not set
# CONFIG_IA32_PSE is not set
# CONFIG_IA32_TSC is not set
# CONFIG_ACPI is not set
CONFIG_ALPHA_FASTPATH=y
CONFIG_ALPHA_CONSOLE_RESERVE=3211264
# CONFIG_CPU_ALPHA_A21164 is not set
# CONFIG_IA32_SYSENTER is not set
# CONFIG_IA32_HTT is not set
#
# That's all, folks!
