6 makeoptions CONF_CFLAGS="-march=armv7a"
8 # This was originally defined as "(KERNBASE-(1024*1024*1024))" but that
9 # (in opt_global.h) clashed with the value emitted by genassym which
10 # reduces the original macro text to its numeric value. The only way
11 # to avoid that is to define it here as the numeric value genassym emits.
12 options VM_MAXUSER_ADDRESS="0x80000000"