From 59c2d88171d4487a37c863860516d767d62e34a8 Mon Sep 17 00:00:00 2001
From: fruchti <fruchti@gvfr.de>
Date: Fri, 2 May 2025 18:00:54 +0200
Subject: [PATCH] Disco: Add ARM toolchain

---
 hosts/Disco.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/hosts/Disco.nix b/hosts/Disco.nix
index 1854d55..bfbaa3b 100644
--- 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
     ];