1# $NetBSD: std.imx31,v 1.9 2014/03/30 23:14:15 matt Exp $ 2# 3# standard NetBSD/evbarm options for FreeScale I.MX31 4 5machine evbarm arm 6include "arch/evbarm/conf/std.evbarm" 7 8# Pull in i.mx31 config definitions. 9include "arch/evbarm/conf/files.imx31" 10 11options KERNEL_BASE_EXT=0x80000000 12makeoptions CPUFLAGS="-march=armv6k -mtune=arm1136j-s -mfpu=vfp" 13 14options ARM11_PMC 15options ARM11_CACHE_WRITE_THROUGH 16options ARM_HAS_VBAR 17options FPU_VFP 18options __HAVE_CPU_COUNTER 19options __HAVE_FAST_SOFTINTS # should be in types.h 20options __HAVE_CPU_UAREA_ALLOC_IDLELWP 21options TPIDRPRW_IS_CURCPU 22 23 24makeoptions LOADADDRESS="0x80100000" 25makeoptions BOARDTYPE="imx31" 26makeoptions BOARDMKFRAG="${THISARM}/conf/mk.imx31" 27 28options ARM_INTR_IMPL="<arch/arm/imx/imx31_intr.h>" 29options ARM_GENERIC_TODR 30