std.rpi revision 1.15 
1#	$NetBSD: std.rpi,v 1.15 2014/08/24 07:59:22 jnemeth 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 	ARM11_COMPAT_MMU
14options 	__HAVE_CPU_COUNTER
15options 	__HAVE_FAST_SOFTINTS		# should be in types.h
16options 	__HAVE_CPU_UAREA_ALLOC_IDLELWP
17options 	__HAVE_MM_MD_DIRECT_MAPPED_PHYS
18options 	TPIDRPRW_IS_CURCPU
19options 	ARM_HAS_VBAR
20options 	KERNEL_BASE_EXT=0xc0000000
21
22options 	EVBARM_BOARDTYPE="rpi"
23makeoptions	BOARDMKFRAG="${THISARM}/conf/mk.rpi"
24makeoptions	LOADADDRESS="0xc0008000"
25
26options 	ARM_INTR_IMPL="<arch/arm/broadcom/bcm2835_intr.h>"
27options 	ARM_GENERIC_TODR
28