From 6ce2101cf4fced896d0bbe5526902c306b09c403 Mon Sep 17 00:00:00 2001
From: Jeremy Soller <jackpot51@gmail.com>
Date: Tue, 23 Sep 2025 10:31:34 -0600
Subject: [PATCH] Do not mark soc ranges as device memory

---
 src/dtb/mod.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/dtb/mod.rs b/src/dtb/mod.rs
index 464953ed64..b6946b98a0 100644
--- a/src/dtb/mod.rs
+++ b/src/dtb/mod.rs
@@ -129,11 +129,12 @@ pub fn register_dev_memory_ranges(dt: &Fdt) {
             chunk.size
         );
 
+        /*TODO: soc memory may contain all free memory!
         register_memory_region(
             chunk.parent_bus_address,
             chunk.size,
             BootloaderMemoryKind::Device,
-        );
+        );*/
     }
 
     // also add all soc-internal devices because they might not be shown in ranges