From 0c2cfbe38d69df8b1868b96de5b2424928ee44ae Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Thu, 25 Jan 2024 15:50:33 +0100
Subject: [PATCH] Add comment to make GC root

---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index 7301ffc..9cfd5e3 100644
--- a/README.md
+++ b/README.md
@@ -11,3 +11,9 @@ Then run the boot script:
 ```
 $ ./boot.sh
 ```
+
+To prevent the GC from erasing the system:
+
+```
+$ nix build .#devShells.x86_64-linux.default --out-link result-env
+```