-- Ben Armstrong, Virtualization Program Manager
Talking about core virtualization at Microsoft (Hyper-V, Virtual PC and Virtual Server).
The RTM version of Hyper-V on Windows Server 2008 (not R2) has just been formally certified as being EAL4+ compliant under the Common Criteria.
Details are here: http://www.bsi.de/zertifiz/zert/reporte/0570a.pdf
Cheers, Ben