Thank you Christoph for all those great comments. You're very convincing in explaining your point. But how could you explain there is such abundant literacy taking the type 1/type 2 dichotomy as a fundamental distinction between hypervisors? On the other hand, I found very difficult to find papers debunking that myth. But maybe you or the KVM team did write such an article and I missed it?