Introduction
Asterinas Kernel
Getting Started
Advanced Build and Test Instructions
1. Intel TDX
The Framekernel Architecture
Linux Compatibility
Roadmap
Asterinas OSTD
An Overview of OSTD
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
Boterinas
Community
Code of Conduct
Request for Comments (RFC)
RFC Overview
1. RFC-0001: RFC Process
2. RFC-0002: Operating System Development Kit (OSDK)

Advanced topics

This chapter delves into advanced topics regarding OSDK, including its application in TEE environments such as Intel TDX.