Hi Damon, Just to update something I have discovered since the last email I sent - I have managed to boot with the kernel memory region set to <0xa0000000 0x1ea00000> so it seems the kernel can be put elsewhere, not sure why it failed the last time I attempted to move it. Otherwise my questions still stand, and python3 still breaks things.
Thanks, Ben Turner ________________________________________ 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. ________________________________________ _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
