GitHub repository: GaloisInc/BESSPIN-FreeRTOS
Primary language: C
Description: 'Classic' FreeRTOS distribution.  Started as Git clone of FreeRTOS SourceForge SVN repo.  Submodules the kernel.