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