Hi Aldy,
> > There may be future different ARM9 mavericks, so depending on the nature of
> > this support, arm9maverick may not be specific enough. It's probably right
> > though.
>
> arm9maverick-elf sounds good to me.
It gets my vote.
Cheers
Nick