CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities - View it on GitHub