CTSRD-CHERI/cherios

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

语言：C · GitHub 星标：47 · Fork：15

在 GitHub 上查看原仓库