Re: [seL4] CAmkES VM rootfs.cpio with Python3 Causes Error

UPDATE: I have managed to get past the first hurdle of the error that I originally posted about here. This was caused by me increasing the wrong memory region. It was actually the kernel memory region that needed additional space, not the VM memory region. I am now able to get a rootfs.cpio image with Python3 installed past the untyped-retype error my previous posts allude to, however I now have a kernel panic occurring during the linux boot process of the virtual machine. The logs for this can be found at https://pastebin.com/BPhKpyD9 Any clue what the issue could be here? Thanks, Ben ________________________________________ Roke Manor Research Limited, Romsey, Hampshire, SO51 0ZN, United Kingdom.Part of the Chemring Group. Registered in England & Wales. Registered No: 00267550 http://www.roke.co.uk _______________________________________ The information contained in this e-mail and any attachments is proprietary to Roke Manor Research Limited and must not be passed to any third party without permission. This communication is for information only and shall not create or change any contractual relationship. ________________________________________