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";