From 0e8196962b1338041a94ef307dd41f63b57715d2 Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Thu, 26 Sep 2024 15:39:46 +1000
Subject: [PATCH] examples/simple: give MaaXBoard 256MB of guest RAM

512MB works fine but to be consistent with the other platforms,
we should give it 256MB.

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 examples/simple/board/maaxboard/overlay.dts   | 2 +-
 examples/simple/board/maaxboard/simple.system | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/examples/simple/board/maaxboard/overlay.dts b/examples/simple/board/maaxboard/overlay.dts
index 4a373317d..0f794153f 100644
--- a/examples/simple/board/maaxboard/overlay.dts
+++ b/examples/simple/board/maaxboard/overlay.dts
@@ -6,7 +6,7 @@
 / {
     memory@40000000 {
         device_type = "memory";
-        reg = <0x00 0x40000000 0x00 0x20000000>;
+        reg = <0x00 0x40000000 0x00 0x10000000>;
     };
 
     soc@0 {
diff --git a/examples/simple/board/maaxboard/simple.system b/examples/simple/board/maaxboard/simple.system
index 4f4a55384..3feb3e3fc 100644
--- a/examples/simple/board/maaxboard/simple.system
+++ b/examples/simple/board/maaxboard/simple.system
@@ -5,8 +5,8 @@
  SPDX-License-Identifier: BSD-2-Clause
 -->
 <system>
-    <!-- We allocate 512MiB of RAM for the guest. -->
-    <memory_region name="guest_ram" size="0x20000000" page_size="0x200000" />
+    <!-- We allocate 256MiB of RAM for the guest. -->
+    <memory_region name="guest_ram" size="0x10000000" page_size="0x200000" />
     <!-- We want to map in the UART to get input/output. -->
     <memory_region name="uart" size="0x10000" phys_addr="0x30860000" />
     <!-- To boot Linux, we need to map in the GIC virtual CPU interface. -->