✨亲爱的开发者小伙伴✨，欢迎来到2025年OS大赛特供版星绽仓库。
你是否憧憬亲手打造一个既酷炫又安全的操作系统？是否想用Rust语言在系统编程的宇宙中留下自己的轨迹？欢迎选择基于星绽参加2025年的OS大赛，使用Rust语言在探索OS领域的星辰大海！
星绽是一个与Linux兼容、但比Linux更安全可靠的OS内核。目前，星绽支持两个CPU体系架构（amd64和riscv64），实现了190个Linux系统调用，5个文件系统（包括Ext2和extFAT32），3种网络socket类型（包括TCP、UDP、Unix等），常用Virtio驱动，第一方代码（不包括依赖）合计超过10万行。项目的2024年度进展报告见这里。
相比其他基于Rust语言的OS内核，星绽具有如下特色：
- 首创框内核架构: 所有unsafe Rust代码被限制在了一个极小的OS开发框架中（名为OSTD），绝大多数OS功能使用纯safe Rust开发，让你对代码更加自信。
- 形式化验证加持：OS开发框架中涉及unsafe的部分关键模块已被形式化证明，内存安全更加有保障。
- 性能比肩Linux：实现代码经过高度优化，在LMbench等基准测试上比肩Linux。
- 开箱即用工具箱：为OS开发者量身定制了开发工具箱（名为OSDK），令Rust OS开发像Rust应用开发一样丝滑。
今年是星绽第一次作为OS大赛的内核赛道的基础OS，而大赛的评测有一些统一要求，目前星绽尚未满足，这意味着每一个选择星绽作为基础OS的参赛小组都有一些共同需要做的事情，比如：
- 改造Makefile及其他基础设施以满足评测平台的提交要求；
- 增加LoongArch的支持，包括代码、测试、CI等；
- 为了运行官方测试集，修复bug或增加功能。
我们欢迎参赛同学们将为了满足以上公共需求的代码提交到本代码仓库（星绽主仓库更佳！）。我们合并代码时会综合考虑（1）时效性（越早提交越好），（2）质量（可读性、干净和可维护），（3）原子性（每个PR或commit只做一件不可细分的事情）。
在初赛阶段结束之前，我们会评出贡献最大的一些同学，并提供一些物质奖励以表彰你们的贡献：
- 一等奖（1名）：Macbook Air 13寸 M4芯片
- 二等奖（2名）：iPad Mini A17 Pro
- 三等奖（3名）：Air Pods 4 主动降噪
（奖励规则后续会细化，奖品也可能会所有调整，最终解释权归星绽社区，敬请关注本仓库后续正式公告！）
在克服了以上公共的基本要求之后，我们期待各位参赛同学自由选择感兴趣的、有挑战的OS功能和特性，把他们加到星绽中。祝大家赛出风格，赛出水平，有所收获，共同进步！
如有任何问题，欢迎在本仓库上提Issue，或者加微信交流（姓名：蚂蚁集团 田洪亮，Github/微信ID: tatetian）。
A secure, fast, and general-purpose OS kernel written in Rust and compatible with Linux
Asterinas is a secure, fast, and general-purpose OS kernel that provides Linux-compatible ABI. It can serve as a seamless replacement for Linux while enhancing memory safety and developer friendliness.
-
Asterinas prioritizes memory safety by employing Rust as its sole programming language and limiting the use of unsafe Rust to a clearly defined and minimal Trusted Computing Base (TCB). This innovative approach, known as the framekernel architecture, establishes Asterinas as a more secure and dependable kernel option.
-
Asterinas surpasses Linux in terms of developer friendliness. It empowers kernel developers to (1) utilize the more productive Rust programming language, (2) leverage a purpose-built toolkit called OSDK to streamline their workflows, and (3) choose between releasing their kernel modules as open source or keeping them proprietary, thanks to the flexibility offered by MPL.
While the journey towards a production-grade OS kernel is challenging, we are steadfastly progressing towards this goal. Over the course of 2024, we significantly enhanced Asterinas's maturity, as detailed in our end-year report. In 2025, our primary goal is to make Asterinas production-ready on x86-64 virtual machines and attract real users!
Get yourself an x86-64 Linux machine with Docker installed. Follow the three simple steps below to get Asterinas up and running.
- Download the latest source code.
git clone https://github.com/asterinas/asterinas- Run a Docker container as the development environment.
docker run -it --privileged --network=host --device=/dev/kvm -v $(pwd)/asterinas:/root/asterinas asterinas/asterinas:0.11.3- Inside the container, go to the project folder to build and run Asterinas.
make build
make runIf everything goes well, Asterinas is now up and running inside a VM.
See The Asterinas Book to learn more about the project.
Asterinas's source code and documentation primarily use the Mozilla Public License (MPL), Version 2.0. Select components are under more permissive licenses, detailed here. For the rationales behind the choice of MPL, see here.