Hello Michael, On 2021-10-19 22:46, Michael Neises wrote:
I want to be able to retrieve data from seL4's virtual Linux machine, in order to store it in a persistent way. [...] If you have a different idea how I might achieve my goal, I would be similarly effusive in my thanks.
If it is just one time, one way blob of data passing, you could add it to Linux's command line, or put it into the device tree before starting the VM. Or use shared memory between your seL4 application and the VM. You can tell Linux about it via device tree and then map it via /dev/mem or your own Linux (UIO) kernel driver. If using camkes, it may be easiest to create a virtual PCI UIO device (I have no experience with camkes). Or use HW specific device registers/SRAM to stash the values in. The best way forward depends on what other communication you need to do between seL4 and Linux. Greetings, Indan