I think that the main thing is to have all ports in one place to make them easy to find and to make efforts focused instead of spread out on many different ports. FreeRTOS Interactive should definitely have a repo with all ports collected, just like the repo for the supported devices of FreeRTOS. My wish would be to collect as many ports as possible in this repo, especially for the platforms that people tinker with at home. Such as all Arduino’s, Beagle’s and Raspberry Pi’s. Did this answer your questions?