Asterinas is a Rust OS kernel designed to offer the following distinctive features:
The strong security and excellent performance of the Asterinas Kernel stem from its innovative framekernel architecture.
Asterinas Operating System Development Kit (OSDK) helps OS devs to create, build, run, and test Rust projects for OS kernels effortless. Imagine crafting kernels with the same simplicity as apps!
With OSDK, you can start building your own Rust OS kernel with three simple steps.
All OSDK-based Rust crates for an OS kernel or library share a common foundation, a crate called ostd. This fosters a more vibrant ecosystem of OS crates, reusable across different Rust OSes.
#[cfg(ktest)]
mod tests {
#[ktest]
fn it_works() {
assert_eq!(true, true);
}
}
OSDK is based on ostd, a minimal, expressive, and solid foundation that enables OS devs to implement OS functionalities on top of it in safe Rust.
The effectiveness of ostd has been validated by our extensive experience in developing Asterinas. In Asterinas, all unsafe Rust code is confined to ostd, whereas the rest of the kernel, including all drivers for peripheral devices, is composed of safe Rust code exclusively.
With OSDK, you can start building your own Rust OS kernel with three simple steps.
#[cfg(ktest)]
mod tests {
#[ktest]
fn it_works() {
assert_eq!(true, true);
}
}
All OSDK-based Rust crates for an OS kernel or library share a common foundation, a crate called ostd. This fosters a more vibrant ecosystem of OS crates, reusable across different Rust OSes.
OSDK is based on ostd, a minimal, expressive, and solid foundation that enables OS devs to implement OS functionalities on top of it in safe Rust.
The effectiveness of ostd has been validated by our extensive experience in developing Asterinas. In Asterinas, all unsafe Rust code is confined to ostd, whereas the rest of the kernel, including all drivers for peripheral devices, is composed of safe Rust code exclusively.
OSDK can be utilized to build any Rust kernel based on the framekernel architecture: Asterinas is built with OSDK; your kernel can too!