From 9fac87a00e1fe74bb0aeafefab5dbe6be6e56908 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Fri, 12 Jul 2024 18:59:48 +0200
Subject: [PATCH] Move FDT to 0xc0000000

---
 JOURNAL.md     | 2 ++
 lagarto-ox.nix | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/JOURNAL.md b/JOURNAL.md
index 723e04d..fe4a9d8 100644
--- a/JOURNAL.md
+++ b/JOURNAL.md
@@ -2552,3 +2552,5 @@ secondary console from the DT too.
 No output, lets enable the PLIC again in the DT. Same.
 
 Probably we have a better chance to fix it in the generic platform.
+
+Let's use a very far away address for the FDT just in case: `0x0_c000_0000`
diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index 07eaf79..f026011 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -322,7 +322,7 @@
 
         # Ensure it doesn't overlap from the 0x80200000 where the kernel will be
         # placed.
-        #"FW_PAYLOAD_FDT_ADDR=0x80013000"
+        "FW_PAYLOAD_FDT_ADDR=0xc0000000"
       ];
       patches = [
         #./opensbi-timer-debug.patch