caprese

卡普雷斯

什么是卡普雷斯？

卡普雷斯（Caprese）是一个微核，可保护具有基于功能安全性的资源。

提取，配置和建造

托多

样品OS

回购：https：//github.com/caprese-project/sample-os

Lisence

该项目根据MIT许可发布，有关详细信息，请参见许可证文件。

致谢

• IPA未开发IT人力资源发现和培训项目（https://www.ipa.go.jp/jinzai/mitou/itou/it/2023/gaiyou_tn-4.html）