From 5dd9ce0e63a66353a77c99aa09a55261394685f2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marcel=20L=C3=BCtke=20Dreimann?=
 <marcel.luetkedreimann@uos.de>
Date: Mon, 18 Sep 2023 15:40:52 +0200
Subject: [PATCH] allow 39-bit addr for GPU

---
 repos/base/src/core/include/pd_root.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base/src/core/include/pd_root.h b/repos/base/src/core/include/pd_root.h
index 5e92307a05..2b010c8ce5 100644
--- a/repos/base/src/core/include/pd_root.h
+++ b/repos/base/src/core/include/pd_root.h
@@ -53,7 +53,7 @@ class Genode::Pd_root : public Genode::Root_component<Genode::Pd_session_compone
 			 */
 			addr_t const start = 0x1000;
 			addr_t const end   = (sizeof(long) == 4) /* 32bit arch ? */
-			                   ? 0xbfffffffUL : 0xffffffffUL;
+			                   ? 0xbfffffffUL : 0xFFffffffffUL; // 0xffffffffUL; // mld: THIS IS IT! => allow 39 bit address for iGPU
 
 			return Ram_dataspace_factory::Phys_range { start, end };
 		}