diff options
Diffstat (limited to 'policy/modules/admin/vbetool.if')
| -rw-r--r-- | policy/modules/admin/vbetool.if | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/policy/modules/admin/vbetool.if b/policy/modules/admin/vbetool.if new file mode 100644 index 00000000..4e648ba8 --- /dev/null +++ b/policy/modules/admin/vbetool.if @@ -0,0 +1,46 @@ +## <summary>run real-mode video BIOS code to alter hardware state.</summary> + +######################################## +## <summary> +## Execute vbetool in the vbetool domain. +## </summary> +## <param name="domain"> +## <summary> +## Domain allowed to transition. +## </summary> +## </param> +# +interface(`vbetool_domtrans',` + gen_require(` + type vbetool_t, vbetool_exec_t; + ') + + corecmd_search_bin($1) + domtrans_pattern($1, vbetool_exec_t, vbetool_t) +') + +######################################## +## <summary> +## Execute vbetool in the vbetool +## domain, and allow the specified +## role the vbetool domain. +## </summary> +## <param name="domain"> +## <summary> +## Domain allowed to transition. +## </summary> +## </param> +## <param name="role"> +## <summary> +## Role allowed access. +## </summary> +## </param> +# +interface(`vbetool_run',` + gen_require(` + attribute_role vbetool_roles; + ') + + vbetool_domtrans($1) + roleattribute $2 vbetool_roles; +') |