# $FreeBSD$

makeoption	ARM_LITTLE_ENDIAN

cpu		CPU_CORTEXA
machine		arm armv6

options		PHYSADDR=0x40000000

makeoptions	KERNPHYSADDR=0x40f00000
options		KERNPHYSADDR=0x40f00000

makeoptions	KERNVIRTADDR=0xc0f00000
options		KERNVIRTADDR=0xc0f00000

options		STARTUP_PAGETABLE_ADDR=0x40100000

options		ARM_L2_PIPT

options		IPI_IRQ_START=0
options		IPI_IRQ_END=15

files		"../samsung/exynos/files.exynos5"