From 8d5c231a13ff385ffca6ebde22ed136cafc29092 Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Sun, 27 Mar 2022 15:11:36 -0700
Subject: [PATCH] change devicetree to expect only 128MB of RAM

---
 linux/devicetree/wally-virt.dts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/linux/devicetree/wally-virt.dts b/linux/devicetree/wally-virt.dts
index f35848c59..6d7955855 100644
--- a/linux/devicetree/wally-virt.dts
+++ b/linux/devicetree/wally-virt.dts
@@ -15,7 +15,7 @@
 
 	memory@80000000 {
 		device_type = "memory";
-		reg = <0x00 0x80000000 0x00 0x8000000>;
+		reg = <0x00 0x80000000 0x00 0x08000000>;
 	};
 
 	cpus {