1 # $NetBSD: std.adi_brh,v 1.11 2018/10/07 07:48:43 skrll Exp $ 2 # 3 # standard NetBSD/evbarm for ADI BRH options 4 5 machine evbarm arm 6 include "arch/evbarm/conf/std.evbarm" 7 8 # Pull in ADI BRH config definitions. 9 include "arch/evbarm/conf/files.adi_brh" 10 11 options EXEC_AOUT 12 13 options KERNEL_BASE_EXT=0xc0000000 14 makeoptions LOADADDRESS="0xc0200000" 15 makeoptions BOARDTYPE="adi_brh" 16 makeoptions BOARDMKFRAG="${THISARM}/conf/mk.adi_brh" 17 18 options ARM_INTR_IMPL="<arch/arm/xscale/becc_intr.h>" 19 20 # We need to configure the PCI bus. 21 options PCI_NETBSD_CONFIGURE 22