diff --git a/examples/simple/board/maaxboard/overlay.dts b/examples/simple/board/maaxboard/overlay.dts
index 4a373317..0f794153 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 4f4a5538..3feb3e3f 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. -->