#       $NetBSD: std.mpc85xx,v 1.6 2011/06/10 16:38:17 matt Exp $
#
# Standard/required options for NetBSD/mpc85xx.

machine evbppc powerpc
include         "conf/std"      # MI standard options

# standard ("mandatory") kernel options.
options         PPC_BOOKE       # Freescale e500 family
options         EVBPPC_HAS_MBR  # Use MBR format (needed for SDCARD booting)

# Executable support:
options         EXEC_ELF32      # (native) ELF32 binary support
options         EXEC_SCRIPT     # shell script support

makeoptions     TEXTADDR=0x20000
makeoptions     BOARDTYPE="mpc85xx"
makeoptions     PPCDIR="booke"

options         PPC_INTR_IMPL="<powerpc/booke/intr.h>"
options         PPC_PCI_MACHDEP_IMPL="<powerpc/pci_machdep.h>"
options         KERNBASE=0x20000
options         GUR_BASE=0xffe00000
#options        USB_FRAG_DMA_WORKAROUND

include         "arch/powerpc/conf/files.booke"
include         "arch/evbppc/conf/files.mpc85xx"