allow 39-bit addr for GPU

2026-01-21 20:42:56 +01:00 · 2023-09-18 15:40:52 +02:00
parent eb85a021de
commit 5dd9ce0e63
1 changed files with 1 additions and 1 deletions
--- 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 };
 		}