Well exposed, thank you Johanna. Just one question: anybody knows which EAL level has Xen being certified for?
The question may seem stupid, but I wonder if the approach of closing execution path can survive to semiformal or formal verification. Thanks L.
_______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
