std.rpi revision 1.16
11.16Sskrll#	$NetBSD: std.rpi,v 1.16 2014/11/08 08:08:32 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.15Sjnemethoptions 	MODULAR_DEFAULT_AUTOLOAD
131.16Sskrlloptions 	CPU_ARM1176
141.16Sskrlloptions 	BCM2835
151.16Sskrlloptions 	FPU_VFP
161.13Sskrlloptions 	ARM11_COMPAT_MMU
171.4Sskrlloptions 	__HAVE_CPU_COUNTER
181.1Sskrlloptions 	__HAVE_FAST_SOFTINTS		# should be in types.h
191.2Sskrlloptions 	__HAVE_CPU_UAREA_ALLOC_IDLELWP
201.14Sskrlloptions 	__HAVE_MM_MD_DIRECT_MAPPED_PHYS
211.2Sskrlloptions 	TPIDRPRW_IS_CURCPU
221.8Smattoptions 	ARM_HAS_VBAR
231.6Sskrlloptions 	KERNEL_BASE_EXT=0xc0000000
241.5Sskrll
251.5Sskrlloptions 	EVBARM_BOARDTYPE="rpi"
261.1Sskrllmakeoptions	BOARDMKFRAG="${THISARM}/conf/mk.rpi"
271.9Smattmakeoptions	LOADADDRESS="0xc0008000"
281.1Sskrll
291.1Sskrlloptions 	ARM_INTR_IMPL="<arch/arm/broadcom/bcm2835_intr.h>"
301.1Sskrlloptions 	ARM_GENERIC_TODR
31