std.rpi revision 1.16 
1#	$NetBSD: std.rpi,v 1.16 2014/11/08 08:08:32 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 	TPIDRPRW_IS_CURCPU
22options 	ARM_HAS_VBAR
23options 	KERNEL_BASE_EXT=0xc0000000
24
25options 	EVBARM_BOARDTYPE="rpi"
26makeoptions	BOARDMKFRAG="${THISARM}/conf/mk.rpi"
27makeoptions	LOADADDRESS="0xc0008000"
28
29options 	ARM_INTR_IMPL="<arch/arm/broadcom/bcm2835_intr.h>"
30options 	ARM_GENERIC_TODR
31