Hi there,I would be interested to know if there is any guidance or any existing example projects for using the STM32MP1 with an RTOS on the A7 cores. I am interested in the possibility of running an RTOS like ThreadX/SMP on the A7 cores (plus the M4...