std.rpi revision 1.24
11.24Sskrll#	$NetBSD: std.rpi,v 1.24 2018/10/18 09:01:54 skrll Exp $
21.1Sskrll#
31.1Sskrll# standard NetBSD/evbarm for Raspberry Pi options
41.1Sskrll
51.1Sskrllmachine		evbarm arm
61.21Sskrllinclude		"arch/evbarm/conf/std.evbarm"
71.1Sskrll
81.1Sskrll# Pull in Raspberry Pi config definitions.
91.3Smattinclude		"arch/evbarm/conf/files.rpi"
101.1Sskrll
111.22Sskrll# Architecture opions
121.22Sskrlloptions 	ARM_GENERIC_TODR
131.22Sskrlloptions 	ARM_HAS_VBAR
141.22Sskrlloptions 	ARM_INTR_IMPL="<arch/arm/fdt/fdt_intr.h>"
151.22Sskrlloptions 	DRAM_BLOCKS=256
161.22Sskrlloptions 	EVBARM_BOARDTYPE="rpi"
171.20Sskrlloptions 	FDT				# Flattened Device Tree support
181.22Sskrlloptions 	FPU_VFP
191.10Sskrlloptions 	MODULAR
201.15Sjnemethoptions 	MODULAR_DEFAULT_AUTOLOAD
211.4Sskrlloptions 	__HAVE_CPU_COUNTER
221.20Sskrlloptions 	__HAVE_CPU_UAREA_ALLOC_IDLELWP
231.1Sskrlloptions 	__HAVE_FAST_SOFTINTS		# should be in types.h
241.24Sskrlloptions 	__HAVE_GENERIC_START
251.14Sskrlloptions 	__HAVE_MM_MD_DIRECT_MAPPED_PHYS
261.5Sskrll
271.21Sskrllmakeoptions 	BOARDMKFRAG="${THISARM}/conf/mk.rpi"
281.21Sskrllmakeoptions 	LOADADDRESS="0x80008000"
29