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

Hi Ben, My guess is that there's something fishy going on with the bootinfo that is passed into the capDL loader application which initialises the CAmkES system. I don't have much information to go on, so I need to ask you to do a favour for me. Is it possible if you can re-run your application with the log level turned to verbose and paste the output to pastebin or similar? For convenience, you can try applying the following diff patch to the 'capdl' repository in the 'projects' folder of the project's root directory to turn the log level to verbose. diff --git capdl-loader-app/src/main.c capdl-loader-app/src/main.c index 38c3269..bdbc82e 100644 --- capdl-loader-app/src/main.c +++ capdl-loader-app/src/main.c @@ -10,6 +10,8 @@ * @TAG(DATA61_BSD) */ +#define ZF_LOG_LEVEL ZF_LOG_VERBOSE + #include <autoconf.h> #include <capdl_loader_app/gen_config.h> Also, can you please turn the CMake variable 'CapDLLoaderPrintCapDLObjects' on in the build directory using ccmake or similar. I'm not sure if this may help or not but, if you are using QEMU, perhaps try increasing the amount of memory available to QEMU. Regards, Damon ________________________________ From: Devel &lt;devel-bounces(a)sel4.systems&gt; on behalf of Turner, Ben &lt;ben.turner(a)roke.co.uk&gt; Sent: Wednesday, 20 May 2020 5:18 PM To: devel(a)sel4.systems &lt;devel(a)sel4.systems&gt; Subject: [seL4] CAmkES VM rootfs.cpio with Python3 Causes Error 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> create_objects@main.c: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 Devel(a)sel4.systems https://sel4.systems/lists/listinfo/devel