It seems like virtualization is about to become useless in the future and CPU-emulating+jit compiling systems are the future, because SGX can't be virtualized.
See PrivateCore (now Facebook), http://en.wikipedia.org/wiki/PrivateCore & http://security.stackexchange.com/questions/53165/is-it-poss...