std.rpi revision 1.5 
1#	$NetBSD: std.rpi,v 1.5 2013/02/19 10:57:10 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
11#options 	FPU_VFP
12#options 	PMAP_NEED_ALLOC_POOLPAGE
13#options 	__HAVE_MM_MD_DIRECT_MAPPED_PHYS
14
15options 	__HAVE_CPU_COUNTER
16options 	__HAVE_FAST_SOFTINTS		# should be in types.h
17options 	__HAVE_CPU_UAREA_ALLOC_IDLELWP
18options 	TPIDRPRW_IS_CURCPU
19
20# Use the default of 0x8000000 for a test
21options 	KERNEL_BASE_EXT=0xc0000000
22options 	EVBARM_BOARDTYPE="rpi"
23
24#makeoptions	LOADADDRESS="0xc000c000"
25makeoptions	BOARDMKFRAG="${THISARM}/conf/mk.rpi"
26makeoptions	CPPFLAGS+="-I$S/../../../include"
27
28options 	ARM_INTR_IMPL="<arch/arm/broadcom/bcm2835_intr.h>"
29options 	ARM_GENERIC_TODR
30