# $FreeBSD$

cpu		CPU_CORTEXA
machine		arm armv6
makeoptions	CONF_CFLAGS="-march=armv7a"

device		fdt_pinctrl

files		"../amlogic/aml8726/files.aml8726"

options		ARM_L2_PIPT

# Set all global interrupts to be edge triggered, active high.
options		GIC_DEFAULT_ICFGR_INIT=0xffffffff

options		IPI_IRQ_START=0
options		IPI_IRQ_END=15

#options 	EARLY_PRINTF
#options 	SOCDEV_PA=0xc8100000
#options 	SOCDEV_VA=0xd8100000