Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Go to file
Shaowei Song b1cec501d8 [page_cache] Gap within one page should be filled with zeros in shrink case 2024-07-25 21:31:18 +08:00
.github Cover debug assertions in intergration tests 2024-07-25 13:20:09 +08:00
.vscode
docs Remove publish api docs CI 2024-07-18 18:18:05 +08:00
kernel [page_cache] Gap within one page should be filled with zeros in shrink case 2024-07-25 21:31:18 +08:00
osdk Fix both the preempt count atomicity and the CPU-local init problem 2024-07-25 13:20:09 +08:00
ostd Fix both the preempt count atomicity and the CPU-local init problem 2024-07-25 13:20:09 +08:00
test Fix missing syscall tests 2024-07-22 22:02:38 +08:00
tools Update the 100-line kernel and format it as well 2024-07-20 20:56:29 +08:00
.code-workspace
.dockerignore Rename regression to test 2024-06-28 20:33:21 +08:00
.gitignore
.licenserc.yaml
COPYRIGHT
Cargo.lock Make essential changes for publishing OSTD 2024-07-18 18:18:05 +08:00
Cargo.toml Make essential changes for publishing OSTD 2024-07-18 18:18:05 +08:00
Components.toml
LICENSE-MPL
Makefile Make essential changes for publishing OSTD 2024-07-18 18:18:05 +08:00
OSDK.toml Fix known TDX issues 2024-07-09 19:43:55 +08:00
README.md Bump version to 0.6.2 2024-07-08 17:13:16 +08:00
README_CN.md Bump version to 0.6.2 2024-07-08 17:13:16 +08:00
VERSION Bump version to 0.6.2 2024-07-08 17:13:16 +08:00
rust-toolchain.toml
rustfmt.toml

README.md

asterinas-logo
A secure, fast, and general-purpose OS kernel written in Rust and compatible with Linux
Test OSDK Test Asterinas Benchmark Asterinas

English | 中文版

Introducing Asterinas

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 can be challenging, we are steadfastly progressing towards our goal. Currently, Asterinas only supports x86-64 VMs. However, our aim for 2024 is to make Asterinas production-ready on x86-64 VMs.

Getting Started

Get yourself an x86-64 Linux machine with Docker installed. Follow the three simple steps below to get Asterinas up and running.

  1. Download the latest source code.
git clone https://github.com/asterinas/asterinas
  1. 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.6.2
  1. Inside the container, go to the project folder to build and run Asterinas.
make build
make run

If everything goes well, Asterinas is now up and running inside a VM.

The Book

See The Asterinas Book to learn more about the project.

License

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 rationles behind the choice of MPL, see here.