Hi guys, looking at the ports tree I see that arm-none-eabi-gcc is not available.
I don't mind porting it myself, but I'd like to have feedback from you first, to avoid duplicate work and also for some hints you may have. There is arm-elf-gcc or somehing like that and I'm thinking that it could be a good starting point.
