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
@@ -10,6 +10,8 @@
+#define ZF_LOG_LEVEL ZF_LOG_VERBOSE
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.
From: Devel <devel-bounces(a)sel4.systems> on behalf of Turner, Ben
Sent: Wednesday, 20 May 2020 5:18 PM
To: devel(a)sel4.systems <devel(a)sel4.systems>
Subject: [seL4] CAmkES VM rootfs.cpio with Python3 Causes Error
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>
firstname.lastname@example.org:805 [Err seL4_InvalidCapability]:
Untyped retype failed with unexpected error
seL4 root server abort()ed
Debug halt syscall from user thread 0xfec34400 "rootserver"
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?
Roke Manor Research Limited, Romsey, Hampshire, SO51 0ZN, United Kingdom.Part of the
Registered in England & Wales. Registered No: 00267550
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