Re: L4Linux and virtualization