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

options		KERNVIRTADDR		= 0xc2000000
makeoptions	KERNVIRTADDR		= 0xc2000000

options		IPI_IRQ_START=0
options		IPI_IRQ_END=15

device  	fdt_pinctrl

files "../freescale/imx/files.imx6"