On 2017-08-02 21:26, CeDeROM wrote:
> Hello :-) Would that be possible to create a port of ARM-GCC version 6
> please? :-)
I had filed a ticket for that quite a while now. As the maintainer has
since abandoned the port, I just committed this older patch  without
giving it much more testing. I also used the opportunity to update the
bundled newlib .