CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
Primary LanguageC