From b7251e7a84fdf4cce7f989ee78191ee3d1638aab Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Thu, 25 Jan 2024 15:36:39 +0100
Subject: [PATCH] Build OpenSBI and u-boot without vector extension

---
 overlay.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/overlay.nix b/overlay.nix
index fea2755..374f343 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -6,7 +6,7 @@ final: prev:
   opensbi = prev.opensbi.overrideAttrs (old: {
     makeFlags = old.makeFlags ++ [
         # Build OpenSBI without compressed instructions
-        "PLATFORM_RISCV_ISA=rv64gv"
+        "PLATFORM_RISCV_ISA=rv64g"
         # Check with: riscv64-unknown-elf-objdump -d -M no-aliases rotate
     ];
   });
@@ -34,7 +34,7 @@ final: prev:
   opensbi-uboot = prev.opensbi.overrideAttrs (old: {
     makeFlags = old.makeFlags ++ [
         # Build OpenSBI without compressed instructions
-        "PLATFORM_RISCV_ISA=rv64gv"
+        "PLATFORM_RISCV_ISA=rv64g"
         # Check with: riscv64-unknown-elf-objdump -d -M no-aliases rotate
         "FW_PAYLOAD_PATH=${final.uboot-custom}/u-boot.bin"
     ];