opensbi: also build for riscv32

2023-11-22 11:20:34 +01:00
parent da41de71f6
commit 6fd739a49e
1 changed files with 1 additions and 1 deletions
@@ -44,6 +44,6 @@ stdenv.mkDerivation rec {
    homepage = "https://github.com/riscv-software-src/opensbi";
    license = licenses.bsd2;
    maintainers = with maintainers; [ ius nickcao zhaofengli ];
-    platforms = [ "riscv64-linux" ];
+    platforms = [ "riscv64-linux" "riscv32-linux" ];
  };
 }