Hello Williams,
On 2022-06-09 17:10, WILLIAMS Stephen via Devel wrote:
We’re currently working on formalising VM support for an iMX8 platform (the Avnet MaaXBoard) building upon the existing sylvain/imx8 and sylvain/gicv3 branches.
Mainline seL4 already has support for maaxboard.
AFAIK only thing missing is support for GICv3 in camkes' VMM.
Greetings,
Indan