Samuka007/asterinas
1
0
Fork 0
mirror of https://github.com/asterinas/asterinas.git synced 2025-06-29 04:13:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

Transform the docs into a Markdown book

Browse Source
This commit is contained in:
Tate, Hongliang Tian
2022-07-20 16:52:20 -07:00
parent d563a451b1
commit b1af967280
12 changed files with 104 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
docs/src/SUMMARY.md Normal file
View File

@ -0,0 +1,16 @@
# Summary
- [Introduction](README.md)
# Design
- [Privilege Separation](privilege_separation/README.md)
- [Case Study 1: Syscall Workflow](privilege_separation/syscall_workflow.md)
- [Case Study 2: Drivers for Virtio Devices on PCI](privilege_separation/pci_virtio_drivers.md)
- [Everything as a Capability](capabilities/README.md)
- [What are Capabilities?](capabilities/what_are_capabilities.md)
- [Type-Level Programming in Rust](capabilities/type_level_programming.md)
- [CapComp: Zero-Cost Capabilities and Components](capabilities/capcomp.md)
- [Trustworthy Containers]()
- [TEEs as Top-Tier Targets]()
- [Fast User-Mode Development]()