Hi Joyce,


Are you talking about sharing files between two Linux Guests running under the seL4 microkernel? Or is this a question about two L4Linux Guests running under Fiasco? I'm not sure how much help our developers can give you about working with Fiasco -- it's likely that we can give very little or even none at all. If your question is however, about running two Linux Guests under seL4 using our VMM infrastructure, could you please give some more details?

That said, our current VMM infrastructure allows you to take a CPIO archive and expose it to some of the Guests running under it -- I suspect that your question is best directed at https://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/​ this mailing list however.

-- 
Kofi Doku Atuah
Kernel engineer
DATA61 | CSIRO

From: Devel <devel-bounces@sel4.systems> on behalf of Joyce Peng(彭美僑) <joyce.peng@mstarsemi.com>
Sent: 05 July 2017 13:25
To: devel@sel4.systems
Subject: [seL4] L4Re IPC share memory that share file in one Linux filesystem and be visible to other Linuxes
 

Hi L4,

  I want to share a file in one Linux filesystem and be visible to other Linuxes that all run on top Fiasco.OC. It seems an IPC communication between L4re vm tasks. And access a file in Linux filesystem is a mechanism with kernel block device driver. But I only notice two char device drivers that use L4re library l4shmc in L4linux. It is l4ser_shm and l4shmnet. May you give some information about this work how to work. Thanks.
 

 

Joyce Peng(彭美僑)