#
#	$NetBSD: RPI2,v 1.4 2017/12/10 21:38:26 skrll Exp $
#
#	RPi2 -- Raspberry Pi 2
#

include "arch/evbarm/conf/RPI"

no options 	CPU_ARM1176
no options 	SOC_BCM2835
no options 	TPIDRPRW_IS_CURLWP
no options 	ARM11_COMPAT_MMU
no options 	__HAVE_MM_MD_CACHE_ALIASING
no makeoptions	CPUFLAGS
no makeoptions	DTS

options 	SOC_BCM2836
options 	CPU_CORTEXA7
options 	MULTIPROCESSOR
#options 	CORTEX_PMC
options 	TPIDRPRW_IS_CURCPU
makeoptions 	CPUFLAGS="-mcpu=cortex-a7 -mfpu=neon"
options 	__HAVE_GENERIC_CPU_INITCLOCKS

makeoptions	DTS="
	bcm2836-rpi-2-b.dts
	bcm2837-rpi-3-b.dts
"
# Architecture options

no bcmtmr0	at fdt?			# System Timer
gtmr*		at fdt? pass 1		# ARM Generic Timer
armgtmr0	at gtmr?