--- xen-4.3.0-rc5/Config.mk.orig 2013-06-22 16:36:48.531767690 +0100
+++ xen-4.3.0-rc5/Config.mk 2013-06-22 17:31:21.021855934 +0100
@@ -188,7 +188,7 @@
EMBEDDED_EXTRA_CFLAGS += -fno-exceptions
# Enable XSM security module (by default, Flask).
-XSM_ENABLE ?= n
+XSM_ENABLE ?= y
FLASK_ENABLE ?= $(XSM_ENABLE)
XEN_EXTFILES_URL=http://xenbits.xen.org/xen-extfiles
--- xen-4.3.0-rc5/xen/xsm/flask/hooks.c.orig 2013-06-16 20:22:09.000000000 +0100
+++ xen-4.3.0-rc5/xen/xsm/flask/hooks.c 2013-06-23 13:30:00.303843347 +0100
@@ -1577,6 +1577,12 @@
return 0;
}
+ if ( !policy_buffer )
+ {
+ printk("Flask: No policy file found. Disabling Flask.\n");
+ return 0;
+ }
+
printk("Flask: Initializing.\n");
avc_init();