3 ms·
But is the virtualization component fully verified?
by throwaway48476 2y ago
But is the virtualization component fully verified?
- snvzz 2y agoThere are a few talks on VMM. The major shortcoming right now is that guests only get one CPU, but as per the talks guest SMP is a priority and will be available in 3-4 months. I do not follow the verification side much, but what I know is that VMM has some interesting properties. Namely, VMM itself (which handles VM exceptions) does not get more capabilities than the VM, thus dramatically limiting usefulness of a VM escape.
- ruthmarx 2y agoDo you have links for some of the latest development/research on this?