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
Sorting:
- 🛠️ Graphical IDE for NextMicon☆28Updated last year
- A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.☆40Updated 2 months ago
- 未踏応募書類と成果報告書☆46Updated last year
- A MikanOS implementation written in Rust.☆38Updated 2 years ago
- ☆27Updated last year
- Runtime for creating OS to use A9N Microkernel☆11Updated 3 months ago
- 有志にて公開された未踏事業の応募書類や成果報告書などをまとめているリポジトリです．☆41Updated last week
- ☆28Updated 2 years ago
- A software router!☆71Updated 10 months ago
- Operating and Language processing system☆26Updated 3 years ago
- A lightweight Type-1 hypervisor for RISC-V H-extension, featuring RISC-V extension emulation.☆51Updated 2 months ago
- aarch64 thin hypervisor for resource aggregation☆36Updated last month
- WWWを再構築するぞ！！！☆15Updated 6 years ago
- A toy C compiler, developed at seccamp2020.☆21Updated last year
- ☆30Updated 8 months ago
- RISC-V documentation transrate to Japanese.☆73Updated 3 years ago
- texliveがフルインストールされたdevcontainer☆21Updated last year
- セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料☆29Updated 9 months ago
- translation of XV6☆49Updated 6 years ago
- 筑波大学情報科学類の卒業論文向けのTypstテンプレート☆43Updated last year
- An experimental OS implementation with Rust☆30Updated 3 years ago
- セキュリティ・キャンプ 2022-2024 RISC-V CPU自作ゼミ 資料置き場☆37Updated last month
- Toy browser on single process / thread☆32Updated 2 years ago
- Light-weight Bare Metal Hypervisor (Type 1) written in C++☆57Updated 7 months ago
- brgen, short for BinaRy encoder/decoder GENerator☆11Updated this week
- ☆13Updated last year
- ☆42Updated 5 years ago
- KUE-CHIP 2 Emulator and IDE☆16Updated 4 years ago
- MikanをRustでやってみる☆7Updated 6 months ago
- ☆10Updated 3 years ago