Collect all FreeRTOS Interactive ports in one repo

This is understandable. What do you believe is needed for a user to pick up the community contributed port and be successful in getting some demos running? For a hobbyist, do you believe that they’ll be able to use the ports for boards such as various Arduinos (ATmega…) when normally the Arduino IDE abstracts the compiler and makefile steps out?

This is a good point and I’ll note this.