[seL4] Re: Page fault on starting VM

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