Interesting, why does it require it?
Obviously it isn't needed since it manages to run on Intel without it.
What if the host doesn't have it?
Why enable it only for the nested case? It's not svm specific (it's
useful for running non-hvm Xen in non-nested mode).
Isn't there a cpuid bit for it? If so, it should be exposed to
userspace, and the feature should depend on it.
--
error compiling committee.c: too many arguments to function
--