I am new to STM32 boards and IDE but have an STM32MP157A-DK1 board which came with an SD Card / OS on it. We want to make our own OS image using the ST linux.In the downloads accompanying the workshop videos we have the DK2_TIMER1_OpenAmp_Solution to...