1 # $NetBSD: std.mpc85xx,v 1.3 2011/05/02 01:45:26 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 makeoptions NEEDS_MDSETIMAGE="yes" 20 21 options PPC_INTR_IMPL="<powerpc/booke/intr.h>" 22 options PPC_PCI_MACHDEP_IMPL="<powerpc/pci_machdep.h>" 23 options KERNBASE=0x20000 24 options GUR_BASE=0xe0000000 25 26 include "arch/powerpc/conf/files.booke" 27 include "arch/evbppc/conf/files.mpc85xx" 28