caprese-project / caprese
Caprese is a microkernel that protects resources with capability-based security.
☆17Updated last year
Alternatives and similar repositories for caprese:
Users that are interested in caprese are comparing it to the libraries listed below
- 🛠️ Graphical IDE for NextMicon☆28Updated last year
- ☆28Updated 2 years ago
- 未踏応募書類と成果報告書☆45Updated last year
- Operating and Language processing system☆26Updated 3 years ago
- ☆27Updated 6 months ago
- セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料☆28Updated 6 months ago
- A toy C compiler, developed at seccamp2020.☆21Updated last year
- A MikanOS implementation written in Rust.