std.rpi revision 1.6
11.5Sskrll#	$NetBSD: std.rpi,v 1.6 2013/02/19 10:58:35 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.4Sskrlloptions 	__HAVE_CPU_COUNTER
121.1Sskrlloptions 	__HAVE_FAST_SOFTINTS		# should be in types.h
131.2Sskrlloptions 	__HAVE_CPU_UAREA_ALLOC_IDLELWP
141.2Sskrlloptions 	TPIDRPRW_IS_CURCPU
151.6Sskrlloptions 	KERNEL_BASE_EXT=0xc0000000
161.5Sskrll
171.5Sskrlloptions 	EVBARM_BOARDTYPE="rpi"
181.1Sskrllmakeoptions	BOARDMKFRAG="${THISARM}/conf/mk.rpi"
191.1Sskrllmakeoptions	CPPFLAGS+="-I$S/../../../include"
201.1Sskrll
211.1Sskrlloptions 	ARM_INTR_IMPL="<arch/arm/broadcom/bcm2835_intr.h>"
221.1Sskrlloptions 	ARM_GENERIC_TODR
23