flask: Allow initial domain to use XENPF_get_symbol
authorKonrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Sat, 3 Oct 2015 19:22:29 +0000 (15:22 -0400)
committerKonrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Tue, 6 Oct 2015 18:23:36 +0000 (14:23 -0400)
commita23ce429779011de127e8ff6c9bf3486d87154d5
tree2dc221d9389e157755cbe1b086e650d09cb790e5
parent375a410b24d9fb7058fc7a3fe101189fe737c08b
flask: Allow initial domain to use XENPF_get_symbol

It looks to be missing in the policy file for the initial
domain. Eventually we may want to extend this access to
non-dom0 domains but for now it certainly dom0-only.

Acked-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Reviewed-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>
Signed-off-by: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
tools/flask/policy/policy/modules/xen/xen.te