GitHub repository: GaloisInc/BESSPIN-FreeRTOS-Kernel
Primary language: C
Description: The BESSPIN fork of the FreeRTOS kernel.