3 ms·

I updated this because, as someone pointed out, type 2 is no longer a good description of KVM. It uses kernel modules that access devices directly, so it's not

I updated this because, as someone pointed out, type 2 is no longer a good description of KVM. It uses kernel modules that access devices directly, so it's not strictly type 2 where it all runs as a process. Maybe I should just stop using the "types".

cthalupa 9y ago
The type definitions have basically always been misused anyway. It's a shoehorning of formal proofs from the 70s onto modern concepts, and it doesn't really work. Though, really, I'm just quoting Anthony Liguori from 6 years ago, so credit where it's due: https://news.ycombinator.com/item?id=2614975 https://news.ycombinator.com/item?id=2614975