# $FreeBSD$
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"