1# $FreeBSD$
2machine		arm	armv6
3cpu 		CPU_CORTEXA
4makeoptions	ARM_LITTLE_ENDIAN
5options		ARM_L2_PIPT
6
7options		KERNVIRTADDR		= 0xc2000000
8makeoptions	KERNVIRTADDR		= 0xc2000000
9options		KERNPHYSADDR		= 0x12000000
10makeoptions	KERNPHYSADDR		= 0x12000000
11options		PHYSADDR		= 0x10000000
12
13options		IPI_IRQ_START=0
14options		IPI_IRQ_END=15
15
16files "../freescale/imx/files.imx6"
17
18