Introduction
Asterinas Kernel
Getting Started
Advanced Build and Test Instructions
The Framekernel Architecture
Linux Compatibility
Roadmap
Asterinas Framework
An Overview of the Framework
Example: Writing a Kernel in 100 Lines of Safe Rust
Example: Writing a Driver in 100 Lines of Safe Rust
Soundness Analysis
Asterinas OSDK
OSDK User Guide
OSDK User Reference
How to Contribute
Before You Contribute
Code Organization
Style Guidelines
1. General Guidelines
2. Rust Guidelines
3. Git Guidelines
Community
Code of Conduct
Request for Comments (RFC)
RFC Overview
1. RFC-0001: RFC Process
2. RFC-0002: Operating System Development Kit (OSDK)

Commands

OSDK provides similar commands as Cargo, and these commands have simalar meanings as corresponding Cargo commands.

Currently, OSDK supports the following commands:

new: Create a new kernel package or library package
build: Compile the project and its dependencies
run: Run the kernel with a VMM
test: Execute kernel mode unit test by starting a VMM
check: Analyze the current package and report errors
clippy: Check the current package and catch common mistakes

The new, build, run and test commands can accept additional options, while the check and clippy commands cannot.