Ah sorry. I think VDI is a format for virtualbox. I have no experience with Virtual machine manager and KVM yet. I think it has better performance but I chose virtualbox because it normally works without problems and it is easy.