[seL4] Re: iMX8MM seL4 12.1.0 running a VM

Does anybody have any ideas about this? I have been running my hacky fix without any issues but I'm wondering if there may be a better solution out there. Cheers, Zippy