GitHub repository: CTSRD-CHERI/FreeRTOS
Description: 'Classic' FreeRTOS distribution.  Started as Git clone of FreeRTOS SourceForge SVN repo.  Submodules the kernel.