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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
