"Vincent Legoll" vlegoll@apsydev.com writes:
Just a simple question : have you ever tried to launch multiple copies of the linux server on the same l4 kernel ?
No.
Currently, L4Linux depends on standard Linux device drivers that run inside the L4Linux server task, and you cannot run two sets of drivers for the same hardware on a single machine.
If you would have the two server instances use different devices and interrupts, or if you would externalize drivers (let them run in their own tasks) and make them shareable, there should be nothing in general that prevents two L4Linux servers on the same machine.
Michael
l4-hackers@os.inf.tu-dresden.de