[seL4] Re: Page fault on starting VM

Thanks for your response. Yes, support for the MaaXBoard is now part of the seL4 mainline (I'm part of the team that added support). For GICv3 we’re using the “sylvain/gicv3” branch of the seL4_projects_libs repo which provides (experimental) support for GICv3 to the CAmkES VMM. Any hints or suggestions on how to progress investigation of the page fault’s underlying cause would be greatly appreciated. Bes regards, Stephen

On 14 Jun 2022, at 18:35, Indan Zupancic wrote:

***This mail has been sent by an external source***

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

This message contains information that may be privileged or confidential and is the property of the Capgemini Group. It is intended only for the person to whom it is addressed. If you are not the intended recipient, you are not authorized to read, print, retain, copy, disseminate, distribute, or use this message or any part thereof. If you receive this message in error, please notify the sender immediately and delete all copies of this message.