caprese-project / capreseLinks
Caprese is a microkernel that protects resources with capability-based security.
☆18Updated 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 in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.☆48Updated 3 weeks 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)☆53Updated last week
- Operating and Language processing system☆27Updated 4 years ago
- Light-weight Bare Metal Hypervisor (Type 1) written in C++☆63Updated last year
- A toy C compiler written in Rust that emits RISC-V assembly.☆31Updated last month
- texliveがフルインストールされたdevcontainer☆22Updated last year
- RISC-V documentation transrate to Japanese.☆73Updated 3 years ago
- A software router!☆74Updated last year
- セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料☆29Updated last year
- ☆142Updated last year
- A MikanOS implementation written in Rust.☆40Updated 3 years ago
- rv32/64imac emulator☆32Updated last year
- aarch64 thin hypervisor for resource aggregation