GitHub repository: CTSRD-CHERI/FreeRTOS-mirror
Primary language: C
Description: FreeRTOS ported to CHERI RISC-V