I am trying to get started on Linux kernel development on STM32MP157F-DK2 board. Thus far I have been able to,1. Flash the started package and get Linux booting successfully2. Download the developer package, add extra logs and update the linux kernel...