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
#include
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 on behalf of Turner, Ben
Sent: Wednesday, 20 May 2020 5:18 PM
To: devel@sel4.systems
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:
...
<
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@sel4.systems
https://sel4.systems/lists/listinfo/devel
