1. Overview
  2. About Ghaf
  3. Features
  4. Architecture
    1. Architectural Variants
    2. Architecture Decision Records
      1. Minimal Host
      2. Networking VM
      3. Intrusion Detection System VM
      4. Platform Bus for Rust VMM
    3. Hardening
    4. Secure Boot
    5. Stack
  5. For Developers
  6. Contributing
  7. Reference Implementations
    1. Development
      1. Build and Run
      2. Running Remote Build on NixOS
      3. Installer
      4. Cross-Compilation
      5. Creating Application VM
      6. Hardware Configuration
      7. Profiles Configuration
      8. labwc Desktop Environment
      9. IDS VM Further Development
      10. systemd Service Hardening
    2. Troubleshooting
      1. Analyzing System Logs
      2. Debugging systemd Using systemctl
      3. Inspecting Services with systemd-analyze
      4. Using strace for Debugging Initialization Sequence
      5. Early Shell Access
    3. Ghaf as Library: Templates
      1. Example Project
      2. Modules Options
  8. Technologies
    1. Compartmentalization
    2. Passthrough
      1. Binding Device to VFIO Driver
      2. NVIDIA Jetson AGX Orin: UART Passthrough
      3. NVIDIA Jetson AGX Orin: PCIe Passthrough
      4. Generic x86: PCIe Passthrough on crosvm
      5. NVIDIA Jetson: UARTI Passthrough to netvm
      6. Device Tree Overlays for Passthrough
    3. Platform Bus Virtualization: NVIDIA BPMP
    4. Hypervisor Options
  9. Build System and Supply Chain
  10. Continuous Integration and Distribution
  11. Supply Chain Security
    1. SLSA Framework
    2. Basic Security Measures
    3. Software Bill of Materials
    4. Public Key Infrastructure
    5. Security Fix Automation
  12. Release Notes
    1. Release ghaf-24.12
    2. Release ghaf-24.09.4
    3. Release ghaf-24.09.3
    4. Release ghaf-24.09.2
    5. Release ghaf-24.09.1
    6. Release ghaf-24.09
    7. Release ghaf-24.06
    8. Release ghaf-24.03
    9. Release ghaf-23.12
    10. Release ghaf-23.09
    11. Release ghaf-23.06
    12. Release ghaf-23.05
  13. Ghaf Usage Scenarios
  14. Showcases
    1. Running Windows VM on Ghaf
    2. Running Cuttlefish on Ghaf
  15. Appendices
  16. Glossary
  17. Research Notes
    1. i.MX 8QM Ethernet Passthrough
    2. System Installation