GitHub repository: CTSRD-CHERI/RISC-V_Galois_demo
Description: Demo directory for FreeRTOS