Disco: Add ARM toolchain

2025-05-02 18:00:54 +02:00 · 2025-05-02 18:00:54 +02:00 · 59c2d88171
parent e2466b628a
commit 59c2d88171
1 changed files with 2 additions and 0 deletions
--- a/hosts/Disco.nix
+++ b/hosts/Disco.nix
@ -93,6 +93,8 @@
    system.extraDependencies = with pkgs; [
        # For various development environments
        gcc-arm-embedded
+        pkgsCross.arm-embedded.buildPackages.gcc
+        pkgsCross.riscv32-embedded.buildPackages.gcc
        gnumake
    ];