2 files changed, 5 insertions, 1 deletions
diff --git a/flake.nix b/flake.nix
index 4710e90..5e789e2 100644
--- a/flake.nix
+++ b/flake.nix
@@ -50,6 +50,8 @@
           })
         ];
       };
+
+      rv32Pkgs = pkgs.pkgsCross.riscv32-embedded;
     in
     {
       formatter.${system} = pkgs.nixpkgs-fmt;
@@ -151,6 +153,8 @@
               (py.callPackage ./nix/peakrdl-regblock.nix { })
               (py.callPackage ./nix/pyuvm.nix { })
             ]))
+            rv32Pkgs.stdenv.cc.cc
+            rv32Pkgs.stdenv.cc.bintools
             (quartus-prime-lite.override { supportedDevices = [ "Cyclone V" ]; })
             verilator
           ];
diff --git a/nix/cocotb-coverage.nix b/nix/cocotb-coverage.nix
index 5866254..5f3bd77 100644
--- a/nix/cocotb-coverage.nix
+++ b/nix/cocotb-coverage.nix
@@ -17,7 +17,7 @@ buildPythonPackage {
     hash = "sha256-CsCvWb6XrKSOuFKBdEKxXWQvDrSQX7qPvZ7j2mpANlw=";
   };
 
-  propagatedNativeBuildInputs = [
+  propagatedBuildInputs = [
     cocotb
     python-constraint
     pyyaml