5 makeoptions CONF_CFLAGS="-march=armv7a -DAL_HAVE_TYPES"
7 makeoptions KERNVIRTADDR=0xa0200000
8 options KERNVIRTADDR=0xa0200000
10 makeoptions KERNBASE=0xa0000000
11 options KERNBASE=0xa0000000
13 options IPI_IRQ_START=0
14 options IPI_IRQ_END=15
16 files "../annapurna/alpine/files.alpine"