Hi Konrad,
On 15/03/2016 17:56, Konrad Rzeszutek Wilk wrote:
diff --git a/xen/common/Kconfig b/xen/common/Kconfig
index 8fbc46d..dbe9ccc 100644
--- a/xen/common/Kconfig
+++ b/xen/common/Kconfig
@@ -168,4 +168,15 @@ config SCHED_DEFAULT
endmenu
+# Enable/Disable xsplice support
+config XSPLICE
+ bool "xSplice live patching support"
+ default y
I think it would be better to disable xSplice on ARM until we
effectively support it.
It will avoid people asking on the mailing why xSplice doesn't work for
ARM platform.
Regards,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel