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