From fa0f90cbecfd4b8e545c2a77bc5338e033652f2c Mon Sep 17 00:00:00 2001
From: Thierry Laurion <insurgo@riseup.net>
Date: Tue, 17 Dec 2024 11:23:30 -0500
Subject: [PATCH] Put usage of ./docker_repro.sh (docker images with docker-ce)
 first

---
 README.md | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index c8d6bc24..1dece18f 100644
--- a/README.md
+++ b/README.md
@@ -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?