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