Skip to content

XXNU Source Handbook

Contents A–Z index

Offline reading instructions

SOURCE REFERENCE

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

60 lines · · Source index

Referenced in 2 chapters

Source-reference index
Build selection, generated code, and tests

Loading source…

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