From 83df8edd28c800eadf28faa4ed2fcbc743b6112d Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Fri, 12 Jul 2024 12:44:21 +0200
Subject: [PATCH] Switch to fpga/openpiton in OpenSBI

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

diff --git a/JOURNAL.md b/JOURNAL.md
index fe1b16d..42a37b3 100644
--- a/JOURNAL.md
+++ b/JOURNAL.md
@@ -1610,3 +1610,7 @@ I assume it is calling `fdt_timer_init()`.
 
 Let's try removing the `reg-names` property, as it seems to cause it to enter a
 different branch, but "control" is never matched there.
+
+Still failing, the problem must be somewhere else.
+
+Let's try with openpiton configuration instead.
diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index d88f845..640140e 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -310,7 +310,7 @@
       };
       #NIX_DEBUG=5;
       makeFlags = [
-        "PLATFORM=generic"
+        "PLATFORM=fpga/openpiton"
         #"CONFIG_SBI_ECALL_RFENCE=n"
         #"PLATFORM_RISCV_ISA=rv64imafd" # No compressed instructions
         #"PLATFORM_RISCV_ISA=rv64g" # No compressed instructions