caprese-project / caprese
Caprese is a microkernel that protects resources with capability-based security.
☆17Updated 11 months ago
Alternatives and similar repositories for caprese:
Users that are interested in caprese are comparing it to the libraries listed below
- aarch64 thin hypervisor for resource aggregation☆34Updated last year
- Light weight hypervisor for RISC-V H-extension.☆41Updated this week
- 🛠️ Graphical IDE for NextMicon☆27Updated 11 months ago
- ☆28Updated last year
- 未踏応募書類と成果報告書☆44Updated 11 months ago
- ☆27Updated last year
- A software router!☆71Updated 7 months ago
- RISC-V documentation transrate to Japanese.☆73Updated 3 years ago
- Light-weight Bare Metal Hypervisor (Type 1) written in C++☆56Updated 4 months ago
- Operating and Language processing system☆26Updated 3 years ago
- texliveがフルインストールされたdevcontainer☆20Updated 9 months ago
- A MikanOS implementation written in Rust.☆38Updated 2 years ago
- brgen, short for BinaRy encoder/decoder GENerator☆10Updated this week
- A toy C compiler, developed at seccamp2020.☆21Updated last year
- 筑波大学のサークル等の団体の情報をまとめたポータルサイトです。☆24Updated 2 years ago
- ☆27Updated 5 months ago
- Educational Operating System☆19Updated 3 years ago
- セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料☆28Updated 5 months ago
- translation of XV6☆49Updated 6 years ago
- HCCC -Human C Compiler Contest-☆48Updated last year
- MikanをRustでやってみる☆7Updated 3 months ago
- MikanOS in Rust☆25Updated 3 years ago
- Reimplementation of xv6 in Zig☆19Updated 7 months ago
- Toy browser on single process / thread☆32Updated 2 years ago
- セキュリティ・キャンプ 2022-2024 RISC-V CPU自作ゼミ 資料置き場☆37Updated last month
- WWWを再構築するぞ!!!☆15Updated 6 years ago
- A programming language for sound play☆16Updated 2 years ago
- An experimental OS implementation with Rust☆29Updated 2 years ago
- a small self-hosting C compiler.☆13Updated last year
- CLI tool to rewrite packet using XDP!☆22Updated 2 years ago