GitHub repository: Jerryxia32/cherios
Primary language: C
Created: 2016-07-13T14:27:34Z
Description: CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities