oscomp / proj191-seL4-for-wasmedge
seL4 作为Hypervisor启动一个 WasmEdge 运行时环境
☆37Updated 3 years ago
Alternatives and similar repositories for proj191-seL4-for-wasmedge:
Users that are interested in proj191-seL4-for-wasmedge are comparing it to the libraries listed below
- Some notes or translations about operating system or programming language.☆96Updated 5 months ago
- OS教学实验:用Rust&C实现各种历史上的经典OS Kernels的实例☆46Updated 3 years ago
- 用Rust语言重写Linux kernel中的KVM☆16Updated 3 years ago
- Tutorial doc for rCore OS step by step (2nd edition)☆65Updated 4 years ago
- 用Rust语言重新设计与实现xv6☆35Updated 3 years ago
- The cold linker☆70Updated 10 months ago
- 🦀️ Operating System in 100% Pure Rust☆100Updated 3 years ago
- ☆42Updated last year
- [WIP] Tutorial for zCore kernel.☆58Updated 3 years ago
- Rcore Virtual Machine☆114Updated last year
- A Rust based Multicore OS developed by UltraTeam, HITsz. Currently updated on https://gitee.com/LoanCold/ultraos_backup☆45Updated 11 months ago
- Linux kernel labs☆56Updated 3 years ago
- An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.☆48Updated 3 years ago
- ☆30Updated last year
- 快速陷入处理☆35Updated 2 months ago
- Yet Another AsYnc runtime for RuSt.☆34Updated 5 years ago
- 洛佳的异步内核实验室☆25Updated 3 years ago
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Updated 3 years ago
- A collection of my undergraduate projects☆90Updated 9 months ago
- ☆43Updated last year
- Asynchronous OS kernel written in Rust.☆34Updated 4 years ago
- zcore_tutorial文档撰写工作以及单元测试工作组☆19Updated 4 years ago
- An experimental RTOS written in Rust.☆36Updated 2 years ago
- 对zircon内核的一些分析,欢迎补充!☆60Updated 5 years ago
- ☆22Updated 3 years ago
- 没分支的 rCore-Tutorial☆45Updated 2 years ago
- Decaf 实验综述☆12Updated 5 years ago
- ☆12Updated 3 years ago
- The Decaf compiler, written in Rust☆56Updated 5 years ago
- A Debuggable Kernel environment Plus a software collection☆62Updated 3 years ago