[seL4] Re: iMX8MM seL4 12.1.0 running a VM

Hi Indan, Thanks for the reply. Our current system is CAmkES based so moving to MicroKit would be a large development exercise with no budget! The DTS in question is one of several VMs in our system which are tailored to our bespoke hardware. The VM in question now needs access to CAAM/SNVS SoC resources. My hack has been working for over 2 months without any problems. I guess anybody else with the same problem would come across these posts and at least be able to do the same. Perhaps I'll have a dig into macros.py and see if I can find a general fix unless Axel Heider is reading this an knows exactly what's wrong. Cheers, Richard