# $FreeBSD: stable/10/sys/arm/samsung/exynos/std.exynos5250 278599 2015-02-11 22:35:32Z ian $

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		ARM_L2_PIPT

options		IPI_IRQ_START=0
options		IPI_IRQ_END=15

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