> > Is there public documentation for "hyp-mode" available? > yes, you have to register on the ARM website (http://infocenter.arm.com) but there you can download the ARM v7 architecture reference manual. -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html