std.rpi revision 1.21 
1#	$NetBSD: std.rpi,v 1.21 2018/10/07 07:48:44 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 	FDT				# Flattened Device Tree support
12options 	DRAM_BLOCKS=256
13options 	MODULAR
14options 	MODULAR_DEFAULT_AUTOLOAD
15options 	FPU_VFP
16options 	__HAVE_CPU_COUNTER
17options 	__HAVE_CPU_UAREA_ALLOC_IDLELWP
18options 	__HAVE_FAST_SOFTINTS		# should be in types.h
19options 	__HAVE_MM_MD_DIRECT_MAPPED_PHYS
20options 	ARM_HAS_VBAR
21options 	KERNEL_BASE_EXT=0x80000000
22
23options 	EVBARM_BOARDTYPE="rpi"
24makeoptions 	BOARDMKFRAG="${THISARM}/conf/mk.rpi"
25makeoptions 	LOADADDRESS="0x80008000"
26
27options 	ARM_INTR_IMPL="<arch/arm/fdt/fdt_intr.h>"
28options 	ARM_GENERIC_TODR
29