Skip to content

XXNU Source Handbook

Contents A–Z index

Offline reading instructions

SOURCE DIRECTORY

platydoc-data/xnu/tools/tla/

Files referenced by this handbook.

platydoc-data/xnu/tools/tla/README.md
platydoc-data/xnu/tools/tla/rwlock.tla

XNU 12377.121.6 · Source-based technical documentation · Build & provenance · Offline handbook

Original Platydoc documentation and diagrams: CC BY 4.0 (license text). Platydoc software: GPLv2. XNU source, quoted code and third-party materials retain their original licenses. License notices.

Search the handbook

Terms, symbols or interfaces

Search every chapter, interface and code excerpt.

Diagram

Source preview