diff --git a/JOURNAL.md b/JOURNAL.md index cf7bce2..8401ece 100644 --- a/JOURNAL.md +++ b/JOURNAL.md @@ -1411,3 +1411,11 @@ But with OpenSBI 1.4: Domain0 Region03 : 0x0000000000000000-0xffffffffffffffff M: () S/U: (R,W,X) Domain0 Next Address : 0x0000000080200000 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. diff --git a/lagarto-ox.nix b/lagarto-ox.nix index a3f75df..d03a206 100644 --- a/lagarto-ox.nix +++ b/lagarto-ox.nix @@ -305,12 +305,12 @@ ''; opensbi = prev.opensbi.overrideAttrs (old: rec { - version = "1.4"; + version = "1.5"; src = prev.fetchFromGitHub { owner = "riscv-software-src"; repo = "opensbi"; rev = "v${version}"; - hash = "sha256-T8ZeAzjM9aeTXitjE7s+m+jjGGtDo2jK1qO5EuKiVLU="; + hash = "sha256-vK14P97FcaVz4GDr/0055Z6s/k7BPKPQGZ/MQxbOWu0="; }; #NIX_DEBUG=5; makeFlags = [