rarias/nixos-riscv
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

Update to OpenSBI 1.5

Browse Source
This commit is contained in:
Rodrigo Arias 2024-07-12 09:34:04 +02:00
parent 9f6f8bcddc
commit c23d33a51c
2 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
JOURNAL.md
View File

@ -1411,3 +1411,11 @@ But with OpenSBI 1.4:
Domain0 Region03 : 0x0000000000000000-0xffffffffffffffff M: () S/U: (R,W,X) Domain0 Region03 : 0x0000000000000000-0xffffffffffffffff M: () S/U: (R,W,X)
Domain0 Next Address : 0x0000000080200000 Domain0 Next Address : 0x0000000080200000
Domain0 Next Arg1 : 0x0000000080013000 Domain0 Next Arg1 : 0x0000000080013000
## 2024-07-12
I find it strange that if we are writing to the 0x80000000 region from the
kernel and OpenSBI has mapped a segment for Machine mode only, there is no error
message about it in the console.
Let's update to OpenSBI 1.5 for now, and see if we get any more information.

4
lagarto-ox.nix
View File

@ -305,12 +305,12 @@
''; '';
opensbi = prev.opensbi.overrideAttrs (old: rec { opensbi = prev.opensbi.overrideAttrs (old: rec {
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-T8ZeAzjM9aeTXitjE7s+m+jjGGtDo2jK1qO5EuKiVLU="; hash = "sha256-vK14P97FcaVz4GDr/0055Z6s/k7BPKPQGZ/MQxbOWu0=";
}; };
#NIX_DEBUG=5; #NIX_DEBUG=5;
makeFlags = [ makeFlags = [