caprese-project / capreseLinks
Caprese is a microkernel that protects resources with capability-based security.
☆19Updated last year
Alternatives and similar repositories for caprese
Users that are interested in caprese are comparing it to the libraries listed below
Sorting:
- A9N is a Capability-based Microkernel / Microhypervisor in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced …☆51Updated 3 months ago
- 🛠️ Graphical IDE for NextMicon☆28Updated last year
- 未踏応募書類と成果報告書☆48Updated last year
- A lightweight Type-1 hypervisor for RISC-V H-extension, featuring RISC-V extension emulation. (on Milk-V Megrez)☆55Updated last week
- Light-weight Bare Metal Hypervisor (Type 1) written in C++☆64Updated last year
- A toy C compiler written in Rust that emits RISC-V assembly.☆31Updated 4 months ago
- ☆95Updated last week
- Toy browser on single process / thread☆33Updated 3 years ago
- aarch64 thin hypervisor for resource aggregation☆36Updated 9 months ago
- A software router!☆73Updated last year
- texliveがフルインストールされたdevcontainer☆23Updated last year
- Runtime for creating OS to use A9N Microkernel☆11Updated 5 months ago
- RISC-V documentation transrate to Japanese.☆73Updated 4 years ago
- 有志にて公開された未踏事業の応募書類や成果報告書などをまとめているリポジトリです.☆49Updated 6 months ago
- ☆182Updated 3 weeks ago
- A MikanOS implementation written in Rust.☆40Updated 3 years ago
- セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料☆29Updated last year
- ☆30Updated 2 years ago
- ☆142Updated last year
- CUI Portfolio like ubuntu terminal.☆31Updated 3 years ago
- translation of XV6☆49Updated 7 years ago
- ☆40Updated last year
- Operating and Language processing system☆28Updated 4 years ago
- An experimental OS implementation with Rust☆31Updated 3 years ago
- seccamp2018 c compiler☆57Updated 3 years ago
- rv32/64imac emulator☆32Updated last year
- 筑波大学情報科学類の卒業論文向けのTypstテンプレート☆45Updated last year
- A toy C compiler, developed at seccamp2020.☆21Updated 2 years ago
- ☆74Updated last week
- HCCC -Human C Compiler Contest-☆51Updated 2 years ago