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.☆47Updated 3 weeks ago
- 未踏応募書類と成果報告書☆47Updated last year
- 🛠️ Graphical IDE for NextMicon☆28Updated last year
- A lightweight Type-1 hypervisor for RISC-V H-extension, featuring RISC-V extension emulation.☆51Updated last week
- Toy browser on single process / thread☆33Updated 3 years ago
- A MikanOS implementation written in Rust.☆40Updated 3 years ago
- Operating and Language processing system☆26Updated 4 years ago
- A software router!☆73Updated last year
- Light-weight Bare Metal Hypervisor (Type 1) written in C++☆61Updated 11 months ago
- ☆29Updated 2 years ago
- ☆142Updated last year
- 有志にて公開された未踏事業の応募書類や成果報告書などをまとめているリポジトリです.☆44Updated 3 months ago
- RISC-V documentation transrate to Japanese.☆73Updated 3 years ago
- rv32/64imac emulator☆32Updated last year
- CUI Portfolio like ubuntu terminal.☆29Updated 2 years ago
- A toy C compiler written in Rust that emits RISC-V assembly.☆30Updated last month
- ☆65Updated this week
- seccamp2018 c compiler☆56Updated 3 years ago
- ☆32Updated last year
- セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料☆29Updated last year
- VSCode devcontainer for developing MikanOS☆71Updated 4 years ago
- A programming language☆70Updated last year
- An experimental project for statically typed scripting language.☆62Updated 3 years ago
- translation of XV6☆49Updated 7 years ago
- A toy C compiler, developed at seccamp2020.☆21Updated 2 years ago
- texliveがフルインストールされたdevcontainer☆22Updated last year
- 中林智之、井田健太が執筆した『基礎から学ぶ 組込みRust』 (C&R研究所) のサポートサイトです。☆114Updated 4 years ago
- 筑波大学情報科学類の卒業論文向けのTypstテンプレート☆43Updated last year
- ☆168Updated last year
- Runtime for creating OS to use A9N Microkernel☆11Updated last month