I found this: https://github.com/embecosm/avr32-gcc https://github.com/embecosm/avr32-binutils-gdb https://github.com/embecosm/avr32-newlib
Hope this helps. Augusto. > From: Martin Guy <martinw...@gmail.com> > Date: Sat, 16 Oct 2021 13:41:40 +0200 > Subject: What's the AVR32 GCC in Microchip Studio and where's its source code? > To: dev@nuttx.apache.org > Content-Type: text/plain; charset="UTF-8" > 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