1. Introduction
3. Asterinas NixOS
4. 1. Getting Started
5. 2. Popular Applications
   1. 2.1. System Core
   2. 2.2. Nix and NixOS Tools
   3. 2.3. Containerization and Virtualization
   4. 2.4. Networking
   5. 2.5. Web Servers & Proxies
   6. 2.6. Databases & Middleware
   7. 2.7. Development Tools
   8. 2.8. CI/CD & DevOps
   9. 2.9. Monitoring & Observability
   10. 2.10. Desktop Environments & Display
   11. 2.11. Web Browsers
   12. 2.12. Office & Productivity
   13. 2.13. Multimedia
   14. 2.14. Communication
   15. 2.15. File Management & Terminal
   16. 2.16. AI & Machine Learning
7. Asterinas Kernel
8. 3. Getting Started
9. 4. Advanced Build and Test Instructions
   1. 4.1. Intel TDX
10. 5. The Framekernel Architecture
11. 6. Linux Compatibility
    1. 6.1. Syscall Flag Coverage
       1. 6.1.1. System Call Matching Language (SCML)
       2. 6.1.2. Process and thread management
       3. 6.1.3. Memory management
       4. 6.1.4. File & directory operations
       5. 6.1.5. File systems & mount control
       6. 6.1.6. File descriptor & I/O control
       7. 6.1.7. Inter-process communication
       8. 6.1.8. Networking & sockets
       9. 6.1.9. Signals & timers
       10. 6.1.10. Namespaces, cgroups & security
       11. 6.1.11. System information & misc
    2. 6.2. File System Coverage
    3. 6.3. Kernel Parameters
12. 7. VM-based Containers
    1. 7.1. Kata Containers
    2. 7.2. Confidential Containers (CoCo)
13. 8. Roadmap
15. Asterinas OSTD
16. 9. An Overview of OSTD
17. 10. Example: Writing a Kernel in 100 Lines of Safe Rust
18. 11. Example: Writing a Driver in 100 Lines of Safe Rust
19. 12. Soundness Analysis
    1. 12.1. What Soundness Means
    2. 12.2. The Sensitivity Classification
    3. 12.3. Safe Physical Memory Management
    4. 12.4. Safe User-Kernel Interactions
    5. 12.5. Safe Kernel-Peripheral Interactions
    6. 12.6. Safe Kernel Logic
    7. 12.7. Safe Policy Injection
21. Asterinas OSDK
22. 13. OSDK User Guide
    1. 13.1. Why OSDK
    2. 13.2. Creating an OS Project
    3. 13.3. Testing or Running an OS Project
    4. 13.4. Working in a Workspace
    5. 13.5. Advanced Topics
       1. 13.5.1. Intel TDX
23. 14. OSDK User Reference
    1. 14.1. Commands
       1. 14.1.1. cargo osdk new
       2. 14.1.2. cargo osdk build
       3. 14.1.3. cargo osdk run
       4. 14.1.4. cargo osdk test
       5. 14.1.5. cargo osdk debug
       6. 14.1.6. cargo osdk profile
    2. 14.2. Manifest
    3. 14.3. Environment Variables
25. How to Contribute
26. 15. Before You Contribute
27. 16. Code Organization
28. 17. Coding Guidelines
    1. 17.1. How Guidelines Are Written
    2. 17.2. For Maintainability
       1. 17.2.1. Design
       2. 17.2.2. Process
       3. 17.2.3. Naming
       4. 17.2.4. Layout
       5. 17.2.5. Comments
       6. 17.2.6. Rust-Specific
          1. 17.2.6.1. Naming
          2. 17.2.6.2. Crates & Modules
          3. 17.2.6.3. Types & Traits
          4. 17.2.6.4. Functions & Methods
          5. 17.2.6.5. Attributes & Macros
          6. 17.2.6.6. Comments
    3. 17.3. For Development
       1. 17.3.1. Correctness
       2. 17.3.2. Concurrency
       3. 17.3.3. Resource Management
       4. 17.3.4. Efficiency
       5. 17.3.5. Observability
       6. 17.3.6. Testing
    4. 17.4. For Security
       1. 17.4.1. Memory Safety
       2. 17.4.2. Security Properties
    5. 17.5. For Hardware
       1. 17.5.1. Assembly Conventions
       2. 17.5.2. CPU Architecture-Specific
          1. 17.5.2.1. x86-64
    6. 17.6. For Documentation
       1. 17.6.1. General Style
       2. 17.6.2. Path-Specific
          1. 17.6.2.1. kernel/
29. 18. Boterinas
30. 19. Version Bump
31. 20. Community
32. 21. Code of Conduct
34. Request for Comments (RFCs)
35. 22. RFC Overview
    1. 22.1. RFC-0001: RFC Process
    2. 22.2. RFC-0002: Asterinas NixOS
36. 23. RFC Template