flake: set ISA extensions in riscv toolchain

1 files changed, 12 insertions, 1 deletions

diff --git a/flake.nix b/flake.nix
index dec75ab..a00f2cb 100644
--- a/flake.nix
+++ b/flake.nix
@@ -51,7 +51,18 @@
         ];
       };
 
-      rv32Pkgs = pkgs.pkgsCross.riscv32-embedded;
+      rv32Pkgs = import nixpkgs {
+        inherit system;
+        config.allowUnsupportedSystem = true;
+
+        crossSystem = {
+          config = "riscv32-none-elf";
+          gcc = {
+            arch = "rv32imafc";
+            abi = "ilp32f";
+          };
+        };
+      };
     in
     {
       formatter.${system} = pkgs.nixpkgs-fmt;