1# $FreeBSD$
2
3cpu CPU_CORTEXA
4machine arm armv6
5makeoptions CONF_CFLAGS="-march=armv7a"
6
7makeoptions KERNVIRTADDR=0xc0f00000
8options KERNVIRTADDR=0xc0f00000
9
10options IPI_IRQ_START=0
11options IPI_IRQ_END=15
12
13files "../altera/socfpga/files.socfpga"
14