1# $NetBSD: std.iq31244,v 1.12 2018/10/07 07:48:44 skrll Exp $ 2# 3# standard NetBSD/evbarm for IQ31244 options 4 5machine evbarm arm 6include "arch/evbarm/conf/std.evbarm" 7 8# Pull in IQ31244 config definitions. 9include "arch/evbarm/conf/files.iq31244" 10 11options EXEC_AOUT 12 13options KERNEL_BASE_EXT=0xc0000000 14makeoptions BOARDTYPE="iq31244" 15makeoptions BOARDMKFRAG="${THISARM}/conf/mk.iq80321" 16 17options ARM_INTR_IMPL="<arch/arm/xscale/i80321_intr.h>" 18options I80321_REBOOT=iq31244_reboot 19 20# We need to configure the PCI bus. 21options PCI_NETBSD_CONFIGURE 22 23# Board has a 33.0MHz crystal, => 198MHz bus clock 24options COUNTS_PER_SEC=198000000 25