Hi
I've managed to build and run Fiasco with one instance of L4Linux. At this point I have several questions:
- I believe that an application running in l4linux can communicate with an application sitting on fiasco. Is there a simple example I could look at?
- As a follow up, how can we allow multiple l4linux instances to communicate using IPC? This post from 2005 [1] has done precisely what I need. Would it be possible to share that code?
- I'd like to use and deploy a tpm driver directly on top of L4 (not directly accessible to l4linux). Is it possible to obtain that driver? How to set it up? This post [2] mentions the stpm package, but I couldn't find it in the l4re snapshot.
- Is it possible to plug a TPM emulator to work directly on fiasco? It's mostly for experimentation and testing on machines without a physical TPM.
- I believe that it's possible to boot fiasco with a trusted bootloader. [2] mentions oslo, but again I couldn't find the code in the snapshot. Do you know where can I find it? Do you know if trusted grub can be used as a viable alternative?
I've looked extensively for online information, but I confess I'm a bit overwhelmed. Your guidance here would be fantastic. I really appreciate your help.
Thanks! --Nuno
[1] http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg01709.html [2] http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg03861.html