Status

Alpha / pre-release.

The build pipeline works end-to-end for one example package — the Adafruit nRF52 UF2 bootloader. Most kernel and infrastructure packages are not yet committed.

What’s stable

• The CLI build pipeline (fetch sources, sandbox, build, emit artifacts).
• The TOML manifest format (workspace, project, package, board).
• Build reproducibility under a pinned nixpkgs revision.

What’s not yet stable

• The set of board.toml fields the build pipeline actually consumes (most are ahead-of-time declarations for upcoming consumers).
• Per-dependency build overrides in aves_manifest.toml.
• The flashing workflow (aves flash).

See the roadmap for what’s planned next.