Hello,
 
Just a simple question : have you ever tried to launch multiple
copies of the linux server on the same l4 kernel ?
 
--
Vince