Michael, if you need networking then just solve this problem and the you can use it also for exporting stuff. I'm available privately to try help you, just ping me.
El mié., 20 oct. 2021 8:31, Indan Zupancic email@example.com escribió:
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.
Indan _______________________________________________ Devel mailing list -- firstname.lastname@example.org To unsubscribe send an email to email@example.com