std.rpi revision 1.11 
1#	$NetBSD: std.rpi,v 1.11 2013/10/15 09:07:48 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 	__HAVE_CPU_COUNTER
13options 	__HAVE_FAST_SOFTINTS		# should be in types.h
14options 	__HAVE_CPU_UAREA_ALLOC_IDLELWP
15options 	TPIDRPRW_IS_CURCPU
16options 	ARM_HAS_VBAR
17options 	KERNEL_BASE_EXT=0xc0000000
18
19options 	EVBARM_BOARDTYPE="rpi"
20makeoptions	BOARDMKFRAG="${THISARM}/conf/mk.rpi"
21makeoptions	CPPFLAGS+="-I$S/../../../include"
22makeoptions	LOADADDRESS="0xc0008000"
23
24options 	ARM_INTR_IMPL="<arch/arm/broadcom/bcm2835_intr.h>"
25options 	ARM_GENERIC_TODR
26