Re: L4Linux performance vs hardware virtualization