a252867
--- xen-4.3.0-rc5/Config.mk.orig	2013-06-22 16:36:48.531767690 +0100
a252867
+++ xen-4.3.0-rc5/Config.mk	2013-06-22 17:31:21.021855934 +0100
a252867
@@ -188,7 +188,7 @@
a252867
 EMBEDDED_EXTRA_CFLAGS += -fno-exceptions
a252867
 
a252867
 # Enable XSM security module (by default, Flask).
a252867
-XSM_ENABLE ?= n
a252867
+XSM_ENABLE ?= y
a252867
 FLASK_ENABLE ?= $(XSM_ENABLE)
a252867
 
e1a5934
 XEN_EXTFILES_URL ?= http://xenbits.xen.org/xen-extfiles