@pawmadsen: according to what I read you could use something like virtualbox . TLB´ed cpu´s won´t help for virtualization AFAIK.