GitHub repository: GaloisInc/FreeRTOS-Kernel
Primary language: C
Description: FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.