Hello,
We are currently working with the STM32MP157F-DK2 board and the on-board SDRAM (DDR3L). The memory map says that region (0xC000000-0xDFFFFFFF) is for the DDR system, however when we try to write to some of the memory locations inside this range, the kernel crashes and reboots. Is some of the DDR memory reserved by the kernel? If so, where is the file that contains the mapping for these reserved regions?
Thanks.
