Hi,

I have been attempting to create a VM to run as a CAmkES component, and it is a 
requirement that it has Python3. I have been using the vm_minimal app as a 
template to get started, and was successful at getting my own buildroot 
filesystem image running, however when I attempted to add the Python3 package, 
the resulting image resulted in the following error when it booted:

...
<<seL4(CPU 0) [decodeInvocation/631 T0xfec34400 "rootserver" @106f0]: Attempted 
to invoke a null cap>
[email protected]:805 [Err seL4_InvalidCapability]:
        Untyped retype failed with unexpected error
seL4 root server abort()ed
Debug halt syscall from user thread 0xfec34400 "rootserver"
halting...
Kernel entry via Unknown syscall, word: 1

The only change I made to the image was to add the Python3 package, and that 
has caused this error. Is there something the vm_minimal app is missing that is 
required in order to get Python3 working?

Kind regards,

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
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to