From 8725d0453388c16acd54133bfba605bf58300916 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Fri, 12 Jul 2024 18:53:16 +0200
Subject: [PATCH] Switch OpenSBI to generic

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

diff --git a/JOURNAL.md b/JOURNAL.md
index ffab2fc..723e04d 100644
--- a/JOURNAL.md
+++ b/JOURNAL.md
@@ -2549,4 +2549,6 @@ With 0x80013000 we seem to enter OpenSBI code region.
 Let's try with openpiton again, without the FDT address. We should disable the
 secondary console from the DT too.
 
-No output, lets enable the PLIC again in the DT.
+No output, lets enable the PLIC again in the DT. Same.
+
+Probably we have a better chance to fix it in the generic platform.
diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index 2dcfe9d..07eaf79 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -312,7 +312,7 @@
       };
       #NIX_DEBUG=5;
       makeFlags = [
-        "PLATFORM=fpga/openpiton"
+        "PLATFORM=generic"
         #"CONFIG_SBI_ECALL_RFENCE=n"
         #"PLATFORM_RISCV_ISA=rv64imafd" # No compressed instructions
         #"PLATFORM_RISCV_ISA=rv64g" # No compressed instructions