oscomp / proj226-tangram-kernel-components-frameworksLinks
基于组件化设计的 思路,用Rust语言的丰富语言特征,设计实现不同功能的独立操作系统内核模块和操作系统框架,可形成不同特征/形态/架构的操作系统内核
☆9Updated 2 months ago
Alternatives and similar repositories for proj226-tangram-kernel-components-frameworks
Users that are interested in proj226-tangram-kernel-components-frameworks are comparing it to the libraries listed below
Sorting:
- ☆131Updated last week
- Titanix: A Unix-like OS.☆23Updated last year
- A visualized debugging framework to aid in understanding the Linux kernel.☆129Updated 2 weeks ago
- 2021年OS比赛获奖赛题(文档/代码开 源),可用于2022年参赛同学的学习和提高☆48Updated 3 years ago
- Writing a hypervisor in Rust☆12Updated 2 months ago
- Experiments and course for oscamp.☆12Updated last month
- The seL4 microkernel with loongarch support, see official repositories at https://github.com/seL4☆20Updated 2 years ago
- Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…☆38Updated 2 months ago
- ☆48Updated 2 years ago
- Let's write an OS which can run on RISC-V in Rust from scratch!☆16Updated last year
- RVOS在VisionFive2开发板上的移植。☆16Updated last year
- ☆22Updated 2 months ago
- The MOSAIC Operating Systems Model and Checker☆192Updated 2 years ago
- rcore-os Developer Blog☆46Updated this week
- Port XV6 to K210 board!☆140Updated 4 years ago
- Let's write an x86 hypervisor in Rust from scratch!☆157Updated last year
- "全国大学生操作系统比赛2025"相关信息☆279Updated 3 months ago
- hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine☆55Updated last year
- An experimental modular OS written in Rust.☆16Updated 4 months ago
- An RISC-V experimental OS☆25Updated last year
- 项目的主仓库☆25Updated 2 years ago
- An optimizing compiler targeting armv7 and risc-v32☆61Updated 4 months ago
- ☆12Updated 2 months ago
- Online RISC-V assembly development tools☆104Updated last month
- PLCT实验室实习生社区。☆260Updated 2 weeks ago
- 一个排序和查找算法可视化教学软件。☆7Updated 4 years ago
- ☆50Updated 4 years ago
- ☆42Updated last year
- ☆23Updated 3 weeks ago
- QEMU platform SBI support implementation, using RustSBI☆147Updated 8 months ago