1 # $NetBSD: std.ixdp425,v 1.12 2012/12/16 23:47:56 matt Exp $ 2 # 3 # standard NetBSD/evbarm for IXDP425 options 4 5 machine evbarm arm 6 include "arch/evbarm/conf/std.evbarm" 7 8 # Pull in IXDP425 config definitions. 9 include "arch/evbarm/conf/files.ixdp425" 10 11 options EXEC_AOUT 12 13 options COM_PXA2X0 # Enable IXP Uart support in com(4) 14 15 #options ARM32_NEW_VM_LAYOUT # Not yet ready for prime-time 16 17 options KERNEL_BASE_EXT=0xc0000000 18 makeoptions LOADADDRESS="0xc0200000" 19 makeoptions BOARDMKFRAG="${THISARM}/conf/mk.ixdp425" 20 21 options ARM_INTR_IMPL="<arch/arm/xscale/ixp425_intr.h>" 22 23 # We need to configure the PCI bus. 24 options PCI_NETBSD_CONFIGURE 25