Does you have guideline of running sel4-armv8-vmm on imx8 platform?

dornerworks / sel4-armv8-vmm-manifest

A manifest that allows one to build virtualized seL4 for zcu102 and i.MX8

Other

7 stars 2 forks source link

Closed chengshuyi closed 5 years ago

chengshuyi commented 5 years ago

I have compiled your vmm according to readme.md. And i try to tftpboot binary image on imx8, but got a synchronous abort exception.

What did i have missed? Thanks for any advice!

chengshuyi commented 5 years ago

I have solved it. I confused imx8qm with imx8mq.