HelloDoes anyone know why this solution might not work?Despite such entries in device tree, the memory is always allocated in extended memory.The address changes depending on the size I allocate but it is still too far.I tried using kernel parameters...