std.rpi revision 1.13 
11.13Sskrll#	$NetBSD: std.rpi,v 1.13 2014/02/25 19:37:30 skrll Exp $
21.1Sskrll#
31.1Sskrll# standard NetBSD/evbarm for Raspberry Pi options
41.1Sskrll
51.1Sskrllmachine		evbarm arm
61.3Smattinclude 	"arch/evbarm/conf/std.evbarm"
71.1Sskrll
81.1Sskrll# Pull in Raspberry Pi config definitions.
91.3Smattinclude		"arch/evbarm/conf/files.rpi"
101.1Sskrll
111.10Sskrlloptions 	MODULAR
121.13Sskrlloptions 	ARM11_COMPAT_MMU
131.4Sskrlloptions 	__HAVE_CPU_COUNTER
141.1Sskrlloptions 	__HAVE_FAST_SOFTINTS		# should be in types.h
151.2Sskrlloptions 	__HAVE_CPU_UAREA_ALLOC_IDLELWP
161.2Sskrlloptions 	TPIDRPRW_IS_CURCPU
171.8Smattoptions 	ARM_HAS_VBAR
181.6Sskrlloptions 	KERNEL_BASE_EXT=0xc0000000
191.5Sskrll
201.5Sskrlloptions 	EVBARM_BOARDTYPE="rpi"
211.1Sskrllmakeoptions	BOARDMKFRAG="${THISARM}/conf/mk.rpi"
221.9Smattmakeoptions	LOADADDRESS="0xc0008000"
231.1Sskrll
241.1Sskrlloptions 	ARM_INTR_IMPL="<arch/arm/broadcom/bcm2835_intr.h>"
251.1Sskrlloptions 	ARM_GENERIC_TODR
26