Microkernel architecture?

[Kip Macy]

Have a look at Xen. The performance is very close to native and the
interfaces are simpler for purposes of running multiple instances. I've
started doing work to support dbsd, but at the moment I'm waiting for my
new desktop to arrive. My last one died in a puff of smoke last week.

			-Kip


>
> I am dreaming of having the same for BSD, so that both could be run
> simultaneously
> on top of L4 (or another fast 2nd generation microkernel).
> Currently, it's possible to run as many L4Linux instances on top of L4 as
> you want,
> at least in theory. An even improved jail if you want :-)
>
> L4: l4ka.org
> L4Linux: http://os.inf.tu-dresden.de/L4/LinuxOnL4/
>
> Another interesting approach is SawMill:
> http://www.research.ibm.com/sawmill/
>
> Regards,
>
>    Michael
>