GitHub repository: tjog/s3k
Primary language: C
Description: Capability based separation Kernel for embedded RISC-V.