From 8e55707a78495c288484b45c3725ee2e0f4121f7 Mon Sep 17 00:00:00 2001
From: Alejandro Soto <alejandro@34project.org>
Date: Thu, 16 May 2024 01:09:42 -0600
Subject: flake: set ISA extensions in riscv toolchain

---
 flake.nix | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

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;
-- 
cgit v1.2.3