I’m interested in working on a FreeRTOS at EL2 for static partitioning for the 4 A53s, such that each A53 can run an AMP FreeRTOS setup at EL1. Initially hard coded, maybe, to support interrupts, peripherals and DMA for each core with each having their own isolated DDR areas. Any ideas or thoughts?
Has anyone used the the Bao Isolation Hypervisor on the Zynq US+ @ el2 and then run FreeRTOS at EL1?