Samuka007/asterinas
1
0
Fork 0
mirror of https://github.com/asterinas/asterinas.git synced 2025-06-08 21:06:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update the English README with the USENIX acceptance news

Browse Source
This commit is contained in:
Tate, Hongliang Tian 2025-04-30 10:31:30 +08:00
parent 88f08de3af
commit c519db518f
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -10,6 +10,8 @@
English | [中文版](README_CN.md) | [日本語](README_JP.md)
**NEWS: [USENIX ATC'25](https://www.usenix.org/conference/atc25) accepted two research papers on Asterinas: (1) _Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB_ and (2) _Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency_. Congratulations to the Asterinas community🎉🎉🎉**
## Introducing Asterinas
Asterinas is a _secure_, _fast_, and _general-purpose_ OS kernel