From c23d33a51c2e818bde314657ef17a3f808d6cff3 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Fri, 12 Jul 2024 09:34:04 +0200
Subject: [PATCH] Update to OpenSBI 1.5

---
 JOURNAL.md     | 8 ++++++++
 lagarto-ox.nix | 4 ++--
 2 files changed, 10 insertions(+), 2 deletions(-)

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 = [