Asterinas

Asterinas Asterinas ships a purpose built toolkit, osdk, to facilitate building, running, and testing rust kernels or kernel components. powered by ostd, osdk makes kernel development as easy and fluid as writing a standard rust application, eliminating the traditional friction of os engineering. Asterinas is an open source project that aims to create secure, fast, and broadly compatible os kernels using rust and the framekernel architecture. learn how to use osdk, a toolkit for building and testing rust os projects, and join the asterinas community.

Asterinas Asterinas implements a sub stantial subset of linux features, including virtual memory, user processes, preemptive scheduling, ipc, a page cache, a virtual file system, and sockets, providing over 210 system calls. Asterinas aims to use the framekernel approach to achieve a system that has a small, formally verified tcb akin to a lean microkernel, but also a simple shared memory architecture with linux abi compatibility, all at the same time. Part 1: how iago attacks threaten linux’s memory safety part 2: why asterinas is memory safe despite of iago attacks part 3: how asterinas is ported to intel tdx secure, fast, and general purpose os kernel written in rust and compatible with linux. Supporting over 210 linux system calls, asterinas delivers performance on par with linux, while maintaining a minimized, memory safety tcb of only about 14.0% of the codebase.

Asterinas Part 1: how iago attacks threaten linux’s memory safety part 2: why asterinas is memory safe despite of iago attacks part 3: how asterinas is ported to intel tdx secure, fast, and general purpose os kernel written in rust and compatible with linux. Supporting over 210 linux system calls, asterinas delivers performance on par with linux, while maintaining a minimized, memory safety tcb of only about 14.0% of the codebase. [atc'25] asterinas: a linux abi compatible, rust based framekernel os with a small and sound tcb yuke peng, hongliang tian, junyang zhang, ruihan li, chengjun chen, jianfeng jiang, jinyi xian, xiaolin wang, chenren xu, diyu zhou,yingwei luo, shoumeng yan, yinqian zhangusenix annual technical conference, boston, ma, u.s.a., jul. 7 9, 2025. Explore the modern os kernel at the heart of asterinas. designed to realize the full potential of rust, asterinas kernel implements the linux abi in a safe and efficient way. Asterinas: a linux abi compatible, rust based framekernel os with a small and sound tcb yuke peng, hongliang tian, junyang zhang, ruihan li, chengjun chen, jianfeng jiang, jinyi xian, yingwei luo, xiaolin wang, chenren xu, diyu zhou, shoumeng yan, yinqian zhang. We have developd asterinas, a linux abi compatible os written entirely in safe rust using ostd apis. together with ostd, asterinas constitutes a complete implementation of a framekernel.

Asterinas [atc'25] asterinas: a linux abi compatible, rust based framekernel os with a small and sound tcb yuke peng, hongliang tian, junyang zhang, ruihan li, chengjun chen, jianfeng jiang, jinyi xian, xiaolin wang, chenren xu, diyu zhou,yingwei luo, shoumeng yan, yinqian zhangusenix annual technical conference, boston, ma, u.s.a., jul. 7 9, 2025. Explore the modern os kernel at the heart of asterinas. designed to realize the full potential of rust, asterinas kernel implements the linux abi in a safe and efficient way. Asterinas: a linux abi compatible, rust based framekernel os with a small and sound tcb yuke peng, hongliang tian, junyang zhang, ruihan li, chengjun chen, jianfeng jiang, jinyi xian, yingwei luo, xiaolin wang, chenren xu, diyu zhou, shoumeng yan, yinqian zhang. We have developd asterinas, a linux abi compatible os written entirely in safe rust using ostd apis. together with ostd, asterinas constitutes a complete implementation of a framekernel.

Asterinas Asterinas: a linux abi compatible, rust based framekernel os with a small and sound tcb yuke peng, hongliang tian, junyang zhang, ruihan li, chengjun chen, jianfeng jiang, jinyi xian, yingwei luo, xiaolin wang, chenren xu, diyu zhou, shoumeng yan, yinqian zhang. We have developd asterinas, a linux abi compatible os written entirely in safe rust using ostd apis. together with ostd, asterinas constitutes a complete implementation of a framekernel.

Asterinas