GitHub repository: CTSRD-CHERI/cherios
Primary language: C
Created: 2016-04-21T12:06:45Z
Description: CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities