diff -r 782599274bf9 tools/flask/policy/policy/modules/xen/xen.te
--- a/tools/flask/policy/policy/modules/xen/xen.te	Tue Sep 30 10:14:54 2008 +0100
+++ b/tools/flask/policy/policy/modules/xen/xen.te	Tue Oct 07 15:22:43 2008 -0400
@@ -110,6 +110,9 @@
 create_channel(domU_t, dom0_t, evchnU-0_t)
 allow domU_t evchnU-0_t:event {send};
 
+allow dom0_t dom0_t:event {send};
+allow dom0_t domU_t:grant {copy};
+
 manage_domain(dom0_t, domU_t)
 
 ################################################################################