diff options
Diffstat (limited to 'policy/modules/contrib/vbetool.if')
| -rw-r--r-- | policy/modules/contrib/vbetool.if | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/policy/modules/contrib/vbetool.if b/policy/modules/contrib/vbetool.if new file mode 100644 index 00000000..f46ab176 --- /dev/null +++ b/policy/modules/contrib/vbetool.if @@ -0,0 +1,45 @@ +## <summary>run real-mode video BIOS code to alter hardware state</summary> + +######################################## +## <summary> +## Execute vbetool application 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(` + type vbetool_t; + ') + + vbetool_domtrans($1) + role $2 types vbetool_t; +') |