"Vincent Legoll" <vlegoll(a)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
--
hohmuth(a)innocent.com, hohmuth(a)inf.tu-dresden.de
http://home.pages.de/~hohmuth/
A version of L4 for Alpha processors has been released in source form
under the GNU GPL. The kernel is provides full, scalable and
low-overhead support for SMP systems. It has been tested on 21064, 21164
and dual CPU 21264 systems. This is the first release of a
multiprocessor version of L4, and the second 64-bit version (after
MIPS, also from UNSW).
The source is available from http://l4alpha.sourceforge.net. We hope
that this release will stimulate external interest (and participation)
in L4 development and use.
UNSW Operating Systems Group
disy(a)cse.unsw.edu.au http://www.cse.unsw.edu.au/~disy/