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