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