[Xen-changelog] [xen master] flask/policy: device model stubdom fixes

[patchbot@xxxxxxx]

commit b61b893d204423aa98f48ceb49e9855ae2ba1aa5
Author:     Daniel De Graaf <dgdegra@xxxxxxxxxxxxx>
AuthorDate: Thu May 30 08:57:22 2013 -0400
Commit:     Ian Campbell <ian.campbell@xxxxxxxxxx>
CommitDate: Wed Jun 12 10:09:15 2013 +0100

    flask/policy: device model stubdom fixes
    
    This fixes framebuffer support for device model stubdoms after 3f28d007
    which added the target_hack permission but did not allow the permission
    to the stubdom it was created for.
    
    Signed-off-by: Daniel De Graaf <dgdegra@xxxxxxxxxxxxx>
    Acked-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
---
 tools/flask/policy/policy/modules/xen/xen.if |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/tools/flask/policy/policy/modules/xen/xen.if 
b/tools/flask/policy/policy/modules/xen/xen.if
index c86a618..97af0a8 100644
--- a/tools/flask/policy/policy/modules/xen/xen.if
+++ b/tools/flask/policy/policy/modules/xen/xen.if
@@ -143,7 +143,7 @@ define(`device_model', `
        allow $1 $2_channel:event create;
 
        allow $1 $2_target:domain shutdown;
-       allow $1 $2_target:mmu { map_read map_write adjust physmap };
+       allow $1 $2_target:mmu { map_read map_write adjust physmap target_hack 
};
        allow $1 $2_target:hvm { getparam setparam trackdirtyvram hvmctl 
irqlevel pciroute cacheattr send_irq };
 ')
 
--
generated by git-patchbot for /home/xen/git/xen.git#master

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog