What is the STM32MP257 kernel loading address?

[LiamChen]

We are changing the kernel configuration. According to the document (https://wiki.stmicroelectronics.cn/stm32mpu/wiki/Menuconfig_or_how_to_configure_kernel#Menuconfig_and_Developer_Package), when we reach the step of make ARCH=arm64 Image.gz LOADADDR=<loadaddr of kernel>, we need to know the kernel load address of STM32MP257. The relevant information is not clear.

[Erwan SZYMANSKI]

Hello @LiamChen ,
Usually, the Linux kernel load address in the context of STM32MP25 is 0x84000000.
You can verify it by checking where does U-Boot try to load the Linux kernel.

Kind regards,
Erwan.