Смотрю я на описание [CMSIS Version 5] и офигеваю - там есть [RTOS
для Cortex-A5/A7/A9], равно как и полная поддержка этих ядер в
методологии малоресурсных embedded систем. Так что, вопрос с !Linux
ОСью для STM32MP1 решен? https://github.com/ARM-software/CMSIS_5