asterinas/docs/src/SUMMARY.md

Summary

• Introduction

Design

• Privilege Separation
  • Case Study 1: Syscall Workflow
  • Case Study 2: Drivers for Virtio Devices on PCI
• Everything as a Capability
  • Type-Level Programming in Rust
  • Zero-Cost Capabilities
  • CapComp: Zero-Cost Capabilities and Components
• Trustworthy Containers
• TEEs as Top-Tier Targets
• Fast User-Mode Development