# $FreeBSD: head/sys/arm/altera/socfpga/std.socfpga 295885 2016-02-22 11:47:28Z skra $

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

makeoptions	KERNVIRTADDR=0xc0f00000
options		KERNVIRTADDR=0xc0f00000

options		IPI_IRQ_START=0
options		IPI_IRQ_END=15

files		"../altera/socfpga/files.socfpga"