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"
     ];