Rollback to OpenSBI 1.4

This commit is contained in:
Rodrigo Arias 2024-07-12 18:07:25 +02:00
parent 384069130b
commit 9a7b230b5b
2 changed files with 79 additions and 3 deletions

File diff suppressed because one or more lines are too long

View File

@ -301,12 +301,14 @@
''; '';
opensbi = prev.opensbi.overrideAttrs (old: rec { opensbi = prev.opensbi.overrideAttrs (old: rec {
version = "1.5"; version = "1.4";
#version = "1.5";
src = prev.fetchFromGitHub { src = prev.fetchFromGitHub {
owner = "riscv-software-src"; owner = "riscv-software-src";
repo = "opensbi"; repo = "opensbi";
rev = "v${version}"; rev = "v${version}";
hash = "sha256-vK14P97FcaVz4GDr/0055Z6s/k7BPKPQGZ/MQxbOWu0="; hash = "sha256-T8ZeAzjM9aeTXitjE7s+m+jjGGtDo2jK1qO5EuKiVLU="; #1.4
#hash = "sha256-vK14P97FcaVz4GDr/0055Z6s/k7BPKPQGZ/MQxbOWu0="; #1.5
}; };
#NIX_DEBUG=5; #NIX_DEBUG=5;
makeFlags = [ makeFlags = [
@ -323,7 +325,7 @@
"FW_PAYLOAD_FDT_ADDR=0x80100000" "FW_PAYLOAD_FDT_ADDR=0x80100000"
]; ];
patches = [ patches = [
./opensbi-timer-debug.patch #./opensbi-timer-debug.patch
#./ox-alveo-platform-plic.patch #./ox-alveo-platform-plic.patch
]; ];
}); });