oscomp / starry-nextLinks
基于arceos unikernel的轻量组件化宏内核 starry-next, 位列支持linux app的宏内核排行榜：https://learningos.cn/oscomptest-grading , starry-next指导书：https://azure-stars.github.io/Starry-Tutorial-Book , 内核（unikernel-->monolithic kernel-->hypervisor）组件化设计学习视频：https://opencamp.cn/os2edu/camp/2025spring/stage/3 , starry-next所基于并调用的arceos crates列表 https://oscomp.github.io/arceo…
☆20Updated last month
Alternatives and similar repositories for starry-next
Users that are interested in starry-next are comparing it to the libraries listed below
Sorting:
- ☆147Updated 4 months ago
- PLCT实验室实习生社区。☆297Updated last week
- Titanix: A Unix-like OS.☆26Updated 3 months ago
- Online RISC-V assembly development tools☆116Updated 2 months ago
- 一本工具指南和开箱即用配置，旨在让大家选用和上手合适的工具。☆155Updated 2 years ago
- ☆14Updated 9 months ago
- 使用Markdown制作和蒋炎岩老师幻灯片同一主题的Web幻灯片框架(Base on Reveal.js)☆298Updated 6 months ago
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆91Updated last month
- ☆22Updated 8 months ago
- 本仓库包含上海交通大学IPADS实验室设计的操作系统课程系列实验，以及前置课程ICS/CSAPP的系列实验。☆481Updated 3 weeks ago
- "全国大学生操作系统比赛2026"相关信息☆278Updated 2 weeks ago
- 2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高☆48Updated 4 years ago
- NJU ICS课程的PA实验，非常棒的一个大项目，受益匪浅！一栈式打通虚拟机NEMU、操作系统NLiteOS和应用层☆49Updated 3 years ago
- Library for generating/parsing/optimizing Koopa IR.☆136Updated 2 weeks ago
- ☆67Updated last year
- 2021年秋季学期 南京大学ICS课程 PA实验部分☆132Updated 3 years ago
- The wrapper repo for NJU ICS PA.☆489Updated 4 months ago
- An experimental modular OS written in Rust.☆17Updated 10 months ago
- The pintos source distribution for PKU Operating System Course projects☆54Updated 10 months ago
- Assignments of Stanford CS110L-2020spr: Safety in Systems Programming☆62Updated 3 weeks ago
- ☆431Updated last year
- 一种支持多种架构嵌入式领域的实时操作系统，支持网络通信和grub启动☆67Updated 2 years ago
- The SysY compiler competition. A backup before official path gets set up.☆47Updated 4 months ago
- rcore-os Developer Blog☆49Updated 2 weeks ago
- The seL4 microkernel with loongarch support, see official repositories at https://github.com/seL4☆20Updated 2 years ago
- PKU compiler course online documentation.☆469Updated 3 weeks ago
- The MOSAIC Operating Systems Model and Checker☆205Updated 2 years ago
- ICSPA for MOOC☆53Updated 2 years ago
- Notes taken by zweix while learning computer related knowledge☆128Updated 3 weeks ago
- ☆25Updated 7 months ago