diff options
author | Wei Liu <wei.liu2@citrix.com> | 2017-01-25 10:43:11 +0000 |
---|---|---|
committer | Wei Liu <wei.liu2@citrix.com> | 2017-01-26 17:23:40 +0000 |
commit | f71628bc159309d264a63fcf3134a702fe04ff69 (patch) | |
tree | cead58113deda97a0b0b221f7749227f45708624 /tools/flask | |
parent | 4453129a0b37748ddbb151a1619c49cebab1069b (diff) | |
download | xen-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.if | 2 |
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) |