Flakeboot logo Flakeboot

What is Flakeboot?

A reproducible coreboot distribution built around Nix.

Go Back
Return to the previous page
OVERVIEW

Flakeboot is a platform for building reproducible firmware.

The goal is simple:
make coreboot deterministic, inspectable, and easy to reproduce.

Reproducible

Every build can be recreated exactly from source and configuration.

Portable

Build environments work consistently across machines and contributors.

Open

Firmware, tooling, and infrastructure remain transparent and auditable.

Integrable

Firmware building and configuration integrated with host OS.

example build
$ nix build .#t480

building firmware...
assembling image...

build completed successfully