On Thu, Dec 1, 2011 at 1:13 AM, Michael S. Tsirkin <mst@xxxxxxxxxx> wrote: > For x86, stores into memory are ordered. So I think that yes, smp_XXX > can be selected at compile time. But then you can't use the same kernel image for both scenarios. It won't take long until people will use virtio on ARM for both virtualization and for talking to devices, and having to rebuild the kernel for different use cases is nasty. -- 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