STM32MP157两个A7核能跑两个系统吗？

请问STM32MP157的两个A7核，能像其它双核CPU一样运行AMP模式：一个核跑Linux、一个核跑RTOS（或禅机）吗？虽然有一个M4核可以跑RTOS，但计算能力有点弱，不能满足需求。想再用一个A7核来跑实时计算任务。