1# $NetBSD: std.iq31244,v 1.10 2012/12/16 23:47:56 matt 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 13#options ARM32_NEW_VM_LAYOUT # Not yet ready for prime-time 14 15options KERNEL_BASE_EXT=0xc0000000 16makeoptions BOARDTYPE="iq31244" 17makeoptions BOARDMKFRAG="${THISARM}/conf/mk.iq80321" 18 19options ARM_INTR_IMPL="<arch/arm/xscale/i80321_intr.h>" 20options I80321_REBOOT=iq31244_reboot 21 22# We need to configure the PCI bus. 23options PCI_NETBSD_CONFIGURE 24 25# Board has a 33.0MHz crystal, => 198MHz bus clock 26options COUNTS_PER_SEC=198000000 27