"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 …
[View More]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/
[View Less]
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 …
[View More]development and use.
UNSW Operating Systems Group
disy(a)cse.unsw.edu.au http://www.cse.unsw.edu.au/~disy/
[View Less]
