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