oscomp / proj191-seL4-for-wasmedgeLinks
seL4 作为Hypervisor启动一个 WasmEdge 运行时环境
☆37Updated 2 months 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
Sorting:
- 用Rust语言重写Linux kernel中的KVM☆16Updated 3 years ago
- 用Rust语言重新设计与实现xv6☆35Updated 3 years ago
- An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.☆48Updated 3 years ago
- [WIP] Tutorial for zCore kernel.☆58Updated 3 years ago
- Tutorial doc for rCore OS step by step (2nd edition)☆65Updated 4 years ago
- Some notes or translations about operating system or programming language.☆101Updated 8 months ago
- ☆42Updated last year
- A collection of my undergraduate projects☆90Updated last year
- The cold linker☆71Updated last year
- OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例☆46Updated 3 years ago
- A Rust based Multicore OS developed by UltraTeam, HITsz. Currently updated on https://gitee.com/LoanCold/ultraos_backup☆46Updated last year
- An RISC-V experimental OS☆25Updated last year
- 🦀️ Operating System in 100% Pure Rust☆101Updated 4 years ago
- Yet Another AsYnc runtime for RuSt.☆34Updated 5 years ago
- 自嗨虚拟化软件 - 'Enjoy yourself' type-1 hypervisor software☆25Updated 3 years ago
- 异步内核就像风一样快！☆287Updated 3 years ago
- Linux kernel labs☆55Updated 4 years ago
- 实现和扩展RISC-V SBI运行时，使之能够支持并运行操作系统☆14Updated 3 months ago
- 各类内核的设计思路☆19Updated 4 years ago
- ☆30Updated 2 years ago
- 没分支的 rCore-Tutorial☆46Updated 2 years ago
- 快速陷入处理☆37Updated last month
- zcore_tutorial文档撰写工作以及单元测试工作组☆19Updated 4 years ago
- ☆46Updated last year
- Rcore Virtual Machine☆115Updated last year
- Documentation for Router Lab☆67Updated last month
- The Decaf compiler, written in Rust☆56Updated 5 years ago
- Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…☆38Updated 3 months ago
- OS Summer of Code 2020 每日学习实践记录（rust 学习 & rcore tutorial rust实现一个riscv操作系统 & rCore 到 zCore 的功能迁移）☆85Updated 3 months ago
- ☆22Updated 3 years ago