Add riscv-tools to gcroot

This commit is contained in:
Rodrigo Arias 2024-09-18 15:48:02 +02:00
parent b6f15f5b6c
commit f8cce17fc2

View File

@ -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"