std.rpi revision 1.10 
11.10Sskrll#	$NetBSD: std.rpi,v 1.10 2013/09/17 07:13:13 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.4Sskrlloptions 	__HAVE_CPU_COUNTER
131.1Sskrlloptions 	__HAVE_FAST_SOFTINTS		# should be in types.h
141.2Sskrlloptions 	__HAVE_CPU_UAREA_ALLOC_IDLELWP
151.2Sskrlloptions 	TPIDRPRW_IS_CURCPU
161.8Smattoptions 	ARM_HAS_VBAR
171.6Sskrlloptions 	KERNEL_BASE_EXT=0xc0000000
181.7Sskrlloptions 	URTWN_DOTG_WORKAROUND
191.5Sskrll
201.5Sskrlloptions 	EVBARM_BOARDTYPE="rpi"
211.1Sskrllmakeoptions	BOARDMKFRAG="${THISARM}/conf/mk.rpi"
221.1Sskrllmakeoptions	CPPFLAGS+="-I$S/../../../include"
231.9Smattmakeoptions	LOADADDRESS="0xc0008000"
241.1Sskrll
251.1Sskrlloptions 	ARM_INTR_IMPL="<arch/arm/broadcom/bcm2835_intr.h>"
261.1Sskrlloptions 	ARM_GENERIC_TODR
27