From 5ddea498cadde8d858cfb84a7734d489320d3a31 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Thu, 11 Jul 2024 15:47:29 +0200
Subject: [PATCH] Add reserved segment from 0x80000000

---
 ox-plic.dts | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ox-plic.dts b/ox-plic.dts
index e7e9249..833bf4d 100644
--- a/ox-plic.dts
+++ b/ox-plic.dts
@@ -84,6 +84,10 @@
 		#address-cells = <2>; /* Starting address and size */
 		#size-cells = <2>; /* 64 bits memory addresses */
 		ranges;
+		reserved@80000000 {
+			reg = <0x0 0x80000000 0x0 0x04000000>;
+			no-map;
+		};
 		eth_pool: dma_pool@60000000 {
 			reg = <0x0 0x60000000 0x0 0x10000000>;
 			compatible = "shared-dma-pool";