Hi,I am developing Linux/RTOS for STM32MP257F-EV1 with a slight twist.The STM32MP257F has two A35 cores (Core-0 and Core-1), a M33 Sub-core (Core-3) and a Cortex- M0+.By default Linux uses A35 Core0 and Core-1(both cores). I want to run Linux on A35 ...