1 # $NetBSD: std.ixm1200,v 1.12.40.1 2013/02/25 00:28:35 tls Exp $ 2 # 3 # standard NetBSD/evbarm for IXM1200 options 4 5 machine evbarm arm 6 include "arch/evbarm/conf/std.evbarm" 7 8 # Pull in IXM1200 config definitions. 9 include "arch/evbarm/conf/files.ixm1200" 10 11 options EXEC_AOUT 12 13 #options ARM32_NEW_VM_LAYOUT # Not yet ready for prime-time 14 15 options KERNEL_BASE_EXT=0xc0000000 16 makeoptions LOADADDRESS="0xC0200000" 17 makeoptions BOARDTYPE="ixm1200" 18 makeoptions BOARDMKFRAG="${THISARM}/conf/mk.ixm1200" 19 20 options ARM_INTR_IMPL="<arch/arm/ixp12x0/ixp12x0_intr.h>" 21 22 # We need to configure the PCI bus. 23 options PCI_NETBSD_CONFIGURE 24