std.rpi revision 1.2 
11.2Sskrll#	$NetBSD: std.rpi,v 1.2 2012/09/01 17:11:56 skrll Exp $
21.1Sskrll#
31.1Sskrll# standard NetBSD/evbarm for Raspberry Pi options
41.1Sskrll
51.1Sskrllmachine		evbarm arm
61.1Sskrllinclude		"conf/std"	# MI standard options
71.1Sskrll
81.1Sskrll# Pull in Raspberry Pi config definitions.
91.1Sskrllinclude "arch/evbarm/conf/files.rpi"
101.1Sskrll
111.1Sskrlloptions 	EXEC_ELF32
121.1Sskrlloptions 	EXEC_SCRIPT
131.1Sskrll
141.1Sskrll# To support easy transit to ../arch/arm/arm32
151.1Sskrlloptions 	ARM32
161.1Sskrlloptions 	__HAVE_FAST_SOFTINTS		# should be in types.h
171.2Sskrlloptions 	__HAVE_CPU_UAREA_ALLOC_IDLELWP
181.2Sskrlloptions 	TPIDRPRW_IS_CURCPU
191.1Sskrlloptions 	KERNEL_BASE_EXT=0xc0000000
201.1Sskrll
211.1Sskrlloptions 	EVBARM_BOARDTYPE="rpi"
221.1Sskrllmakeoptions	BOARDMKFRAG="${THISARM}/conf/mk.rpi"
231.1Sskrllmakeoptions	CPPFLAGS+="-I$S/../../../include"
241.1Sskrll
251.1Sskrlloptions 	ARM_INTR_IMPL="<arch/arm/broadcom/bcm2835_intr.h>"
261.1Sskrlloptions 	ARM_GENERIC_TODR
27