From af6e2c4f9fc30ed9a81af4b143f1e6390198f09d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Charlotte=20=F0=9F=A6=9D=20Delenk?= <lotte@chir.rs>
Date: Thu, 6 Jul 2023 15:55:42 +0100
Subject: [PATCH] correct gccarchh and tune for rv

---
 default.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/default.nix b/default.nix
index 143ec34..af9aa03 100644
--- a/default.nix
+++ b/default.nix
@@ -40,7 +40,8 @@
     rv64_zba_zbb =
       riscv64-linux
       // {
-        gcc.arch = "rv64_zba_zbb";
+        gcc.arch = "rv64gc_zba_zbb";
+        gcc.tune = "sifive-u74";
       };
   };
   pkgs-unpatched = import nixpkgs-unpatched' {