Hi Stephen,
PC 0x200 indicates that the guest has triggered a synchronous
exception as according to the architecture manual, Table D1-7 Vector
offsets from vector table base address, offset 0x200 maps to
Synchronous exception at current Exception level. This causes a
prefetch fault as IPA 0x200 do
Hello Williams,
On 2022-06-09 17:10, WILLIAMS Stephen via Devel wrote:
Any suggestions as to the possible cause of the page fault or hints on
how to progress with debugging this issue would be greatly
appreciated.
Although we don't use camkes' VMM, we had to change our VMM for recent
Linux ker
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 s
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 t
I probably should have stated that this is an attempt to run the “vm_minimal”
application.
Looking at the registers (and I’m no expert in this department) it appears this
could be an attempt to access data at address 0xb200 which is the location
of the DTB, if anyone with great knowledge in