Hi, I am a student currently doing my master thesis that involves seL4 and running applications on it.
To learn about seL4 I have been doing some of the tutorials. While I have been able to solve or work around most issues I do not know what the proper approach is for this one. For this tutorial the suggested way is to use the dataport, consumes_event and emits_event modules. When trying to build it the build gets an error since the library that should be in "projects/camkes/vm-linux/camkes-linux-artifacts/camkes-linux-apps/camkes-connector-apps/libs" is missing. After some investigation it seems to have been removed in this commit: https://github.com/seL4/camkes-vm-linux/commit/bab3e9c2b52ff942b6eead71e33ad781b429a646#diff-8f4a0b5dd424b723d6c6c7c82fb67274d18d98385239823d1fafabb3c3756123 and it also seems that the use of dataport, consumes_event and emits_event should be done in another way not described in the tutorial (if I interpreted the commit message correctly). There are also other files that are needed such as "dataport.h" that were removed in the same commit. So I wonder how the cross vm connection is supposed to work without these old modules? I assume that the tutorial was not updated when these changes were made or only partly updated. I also guess that one approach to just make the tutorial work is to fetch the removed files and use them but that seems like a bad approach if there is a better way to do it. Best regards, Olof _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
