Hi! My company wishes to port NuttX to its AVR32 board, and I see on https://nuttx.apache.org/docs/latest/introduction/detailed_support.html#microchip-avr32 "This port requires a special GNU avr32 toolchain available from atmel.com website. This is a windows native toolchain and so can be used only under Cygwin on Windows." Now, we'd like to use this on Open Source systems (we are an OS company) but I've not been able to find the sources of their AVR32-GCC included in Microchip Studio. So my question is: If Nuttx requires C11 features, presumably the Microchip Studio GCC is based on a later version than 4.4, and if so, where's the source?
Thanks in advance to any AVR32 porters out there M