No pages link to Getting started/STM32MP1 boards/STM32MP135x-DK/Develop on Arm® Cortex®-A7/Modify, rebuild and reload the Linux® kernel.