[base]
flavours:
 armmp
 armmp-lpae
default-flavour: armmp