1 # $NetBSD: std.obs200,v 1.1 2005/03/18 15:31:58 shige Exp $ 2 # 3 # Standard/required options for NetBSD/obs200 4 5 machine evbppc powerpc 6 7 # standard ("mandatory") kernel options. 8 options PPC_IBM4XX # IBM 40x family 9 10 # Executable support: 11 options EXEC_ELF32 # (native) ELF32 binary support 12 options EXEC_AOUT # (native) a.out binary support (deprecated) 13 options EXEC_SCRIPT # shell script support 14 15 makeoptions TEXTADDR=0x450000 16 makeoptions BOARDTYPE="obs200" 17 makeoptions PPCDIR="ibm4xx" 18 19 options PPC_INTR_IMPL="<powerpc/ibm4xx/ibm4xx_intr.h>" 20 options PPC_PCI_MACHDEP_IMPL="<powerpc/ibm4xx/pci_machdep.h>" 21 options KERNBASE=0x450000 22 23 options INTSTK=16384 24 options SPILLSTK=1024 25 26 include "arch/powerpc/conf/files.ibm4xx" 27 include "arch/powerpc/conf/files.ibm405gp" 28 include "arch/evbppc/conf/files.obs200" 29