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