summaryrefslogtreecommitdiff
path: root/tools/flask
diff options
context:
space:
mode:
authorWei Liu <wei.liu2@citrix.com>2017-01-25 10:43:11 +0000
committerWei Liu <wei.liu2@citrix.com>2017-01-26 17:23:40 +0000
commitf71628bc159309d264a63fcf3134a702fe04ff69 (patch)
treecead58113deda97a0b0b221f7749227f45708624 /tools/flask
parent4453129a0b37748ddbb151a1619c49cebab1069b (diff)
downloadxen-f71628bc159309d264a63fcf3134a702fe04ff69.tar.gz
flask: fix build after the introduction of DMOP
In 58cbc034 send_irq permission was removed but there was still reference to it in policy file. Remove the stale reference. And now we also need dm permission. Add that. Signed-off-by: Wei Liu <wei.liu2@citrix.com> Reviewed-by: Paul Durrant <paul.durrant@citrix.com> xsm/build: Further build fixes following the DMop series Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Diffstat (limited to 'tools/flask')
-rw-r--r--tools/flask/policy/modules/xen.if2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/flask/policy/modules/xen.if b/tools/flask/policy/modules/xen.if
index 45e5cea04f..f5d254f053 100644
--- a/tools/flask/policy/modules/xen.if
+++ b/tools/flask/policy/modules/xen.if
@@ -58,7 +58,7 @@ define(`create_domain_common', `
allow $1 $2:mmu { map_read map_write adjust memorymap physmap pinpage mmuext_op updatemp };
allow $1 $2:grant setup;
allow $1 $2:hvm { cacheattr getparam hvmctl sethvmc
- setparam nested altp2mhvm altp2mhvm_op send_irq };
+ setparam nested altp2mhvm altp2mhvm_op };
')
# create_domain(priv, target)