A Purely Hardware-Assisted VMM for x86 Architecture