diff options
| author | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2012-08-22 22:15:36 +0100 |
|---|---|---|
| committer | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2012-08-22 22:15:36 +0100 |
| commit | 7c3dea401c22be3041db63fb516836c065810b78 (patch) | |
| tree | bfde75260d20dae77bb7ebc6500591e082298055 /tools/flask/policy/policy/modules/xen/xen.if | |
| parent | c14bb38304d348b2b39160947b772442a15d03fc (diff) | |
| download | xen-7c3dea401c22be3041db63fb516836c065810b78.tar.gz xen-7c3dea401c22be3041db63fb516836c065810b78.tar.bz2 xen-7c3dea401c22be3041db63fb516836c065810b78.zip | |
flask/policy: add accesses used by newer dom0s
Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Keir Fraser <keir@xen.org>
Diffstat (limited to 'tools/flask/policy/policy/modules/xen/xen.if')
| -rw-r--r-- | 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 87ef1654f5..3f58909b55 100644 --- a/tools/flask/policy/policy/modules/xen/xen.if +++ b/tools/flask/policy/policy/modules/xen/xen.if @@ -100,7 +100,7 @@ define(`use_device', ` # admin_device(domain, device) # Allow a device to be used and delegated by a domain define(`admin_device', ` - allow $1 $2:resource { setup stat_device add_device add_irq add_iomem add_ioport remove_device remove_irq remove_iomem remove_ioport }; + allow $1 $2:resource { setup stat_device add_device add_irq add_iomem add_ioport remove_device remove_irq remove_iomem remove_ioport plug unplug }; allow $1 $2:hvm bind_irq; use_device($1, $2) ') |