1#         $NetBSD: std.mpc85xx,v 1.6 2011/06/10 16:38:17 matt Exp $
2#
3# Standard/required options for NetBSD/mpc85xx.
4
5machine   evbppc powerpc
6include             "conf/std"          # MI standard options
7
8# standard ("mandatory") kernel options.
9options   PPC_BOOKE # Freescale e500 family
10options   EVBPPC_HAS_MBR      # Use MBR format (needed for SDCARD booting)
11
12# Executable support:
13options   EXEC_ELF32          # (native) ELF32 binary support
14options   EXEC_SCRIPT         # shell script support
15
16makeoptions         TEXTADDR=0x20000
17makeoptions         BOARDTYPE="mpc85xx"
18makeoptions         PPCDIR="booke"
19
20options   PPC_INTR_IMPL="<powerpc/booke/intr.h>"
21options   PPC_PCI_MACHDEP_IMPL="<powerpc/pci_machdep.h>"
22options   KERNBASE=0x20000
23options   GUR_BASE=0xffe00000
24#options  USB_FRAG_DMA_WORKAROUND
25
26include             "arch/powerpc/conf/files.booke"
27include             "arch/evbppc/conf/files.mpc85xx"
28