Re: L4Linux and AMD64