Merge pull request #179135 from NickCao/opensbi

opensbi: 1.0 -> 1.1
This commit is contained in:
Mario Rodas 2022-06-25 22:46:50 -05:00 committed by GitHub
commit 12a715901f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -6,15 +6,19 @@
stdenv.mkDerivation rec {
pname = "opensbi";
version = "1.0";
version = "1.1";
src = fetchFromGitHub {
owner = "riscv-software-src";
repo = "opensbi";
rev = "v${version}";
sha256 = "sha256-OgzcH+RLU680qF3+lUiWFFbif6YtjIknJriGlRqcOGs=";
sha256 = "sha256-k6f4/lWY/f7qqk0AFY4tdEi4cDilSv/jngaJYhKFlnY=";
};
postPatch = ''
patchShebangs ./scripts
'';
installFlags = [
"I=$(out)"
];