> 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
NuttX common code does not depend on C11. In fact the coding standard requires that all shared code conform to C89. Being able to work with old toolchains is the reason for this requirement in the coding standard.