From f8cce17fc2a161c76167ab2e390e1649d4f07bb9 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Wed, 18 Sep 2024 15:48:02 +0200
Subject: [PATCH] Add riscv-tools to gcroot

---
 flake.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 3219d44..4a8a533 100644
--- a/flake.nix
+++ b/flake.nix
@@ -115,7 +115,9 @@
       UBOOT_ENV = syspkgs.uboot-env;
       BITSTREAM = syspkgs.bitstream;
       BOOTROM = syspkgs.bootrom;
-      GCROOT = mkRoots syspkgs [ syspkgs.stdenv KERNEL OPENSBI ];
+      GCROOT = mkRoots syspkgs [
+        syspkgs.stdenv KERNEL OPENSBI syspkgs.riscv-tools
+      ];
       shellHook = ''
         echo "Here are the current system pieces:"
         echo " COMMIT    = $COMMIT"