std.rpi revision 1.18 
1#	$NetBSD: std.rpi,v 1.18 2014/11/24 12:53:23 skrll Exp $
2#
3# standard NetBSD/evbarm for Raspberry Pi options
4
5machine		evbarm arm
6include 	"arch/evbarm/conf/std.evbarm"
7
8# Pull in Raspberry Pi config definitions.
9include		"arch/evbarm/conf/files.rpi"
10
11options 	MODULAR
12options 	MODULAR_DEFAULT_AUTOLOAD
13options 	CPU_ARM1176
14options 	BCM2835
15options 	FPU_VFP
16options 	ARM11_COMPAT_MMU
17options 	__HAVE_CPU_COUNTER
18options 	__HAVE_FAST_SOFTINTS		# should be in types.h
19options 	__HAVE_CPU_UAREA_ALLOC_IDLELWP
20options 	__HAVE_MM_MD_DIRECT_MAPPED_PHYS
21options 	__HAVE_MM_MD_CACHE_ALIASING
22options 	TPIDRPRW_IS_CURLWP
23options 	ARM_HAS_VBAR
24options 	KERNEL_BASE_EXT=0xc0000000
25
26options 	EVBARM_BOARDTYPE="rpi"
27makeoptions	BOARDMKFRAG="${THISARM}/conf/mk.rpi"
28makeoptions	LOADADDRESS="0xc0008000"
29
30options 	ARM_INTR_IMPL="<arch/arm/broadcom/bcm2835_intr.h>"
31options 	ARM_GENERIC_TODR
32