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