caprese-project / caprese
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
- 🛠️ Graphical IDE for NextMicon☆28Updated last year
- A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.☆39Updated last month
- An experimental OS implementation with Rust☆30Updated 3 years ago
- aarch64 thin hypervisor for resource aggregation☆34Updated 2 weeks ago
- 未踏応募書類と成果報告書☆46Updated last year
- brgen, short for BinaRy encoder/decoder GENerator☆11Updated this week
- Operating and Language processing system☆26Updated 3 years ago
- A lightweight Type-1 hypervisor for RISC-V H-extension, featuring RISC-V extension emulation.☆51Updated last month
- 有志にて公開された未踏事業の応募書類や成果報告書などをまとめているリポジトリです.☆40Updated 2 months ago
- ☆28Updated 2 years ago
- ☆27Updated 8 months ago
- WWWを再構築するぞ!!!☆15Updated 6 years ago
- ☆27Updated last year
- texliveがフルインストールされたdevcontainer☆21Updated last year
- A toy C compiler, developed at seccamp2020.☆21Updated last year
- Educational Operating System☆19Updated 4 years ago
- A software router!☆71Updated 9 months ago
- a small self-hosting C compiler.☆14Updated last year
- 筑波大学のサークル等の団体の情報をまとめたポータルサイトです。☆24Updated 3 years ago
- MikanをRustでやってみる☆7Updated 5 months ago
- Toy browser on single process / thread☆32Updated 2 years ago
- 絵文字プログラミング言語 emojin☆14Updated 4 months ago
- 雙峰祭オンラインシステム バックエンド☆19Updated last year
- RISC-V documentation transrate to Japanese.☆73Updated 3 years ago
- Runtime for creating OS to use A9N Microkernel☆10Updated 2 months ago
- Light-weight Bare Metal Hypervisor (Type 1) written in C++☆57Updated 6 months ago
- 筑波大学情報科学類の卒業論文向けのTypstテンプレート☆41Updated last year
- セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料☆29Updated 8 months ago
- ☆4Updated 2 years ago
- A programming language for sound play☆16Updated 3 years ago