Documentation

Use navra

Understand navra

  • Architecture — microkernel design and crate layering
  • Security Model — capability tokens, IFC, privacy pipeline, audit
  • Learn — 28-chapter deep dive from threats to formal verification
  • Papers — technical papers and design decisions
  • Evaluations — benchmark results and compliance assessments