Put usage of ./docker_repro.sh (docker images with docker-ce) first

This commit is contained in:
Thierry Laurion 2024-12-17 11:23:30 -05:00 committed by GitHub
parent 99157f2291
commit fa0f90cbec
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -30,7 +30,16 @@ Contributing
We welcome contributions to the Heads project! Before contributing, please read our [Contributing Guidelines](CONTRIBUTING.md) for information on how to get started, submit issues, and propose changes.
Building heads
Building heads with prebuilt and versioned docker images
==
Heads now builds with Nix built docker images since https://github.com/linuxboot/heads/pull/1661.
The short path to build Heads is to do what CircleCI would do (./docker_repro.sh under heads git cloned directory):
- Install _docker-ce_ for your OS of choice (refer to their documentation)
- run `./docker_repro.sh make BOARD=XYZ`
Using Nix local dev environement / building docker images with Nix
==
Under QubesOS?