## run real-mode video BIOS code to alter hardware state
########################################
##
## Execute vbetool application in the vbetool domain.
##
##
##
## Domain allowed to transition.
##
##
#
interface(`vbetool_domtrans',`
gen_require(`
type vbetool_t, vbetool_exec_t;
')
corecmd_search_bin($1)
domtrans_pattern($1, vbetool_exec_t, vbetool_t)
')
########################################
##
## Execute vbetool in the vbetool domain, and
## allow the specified role the vbetool domain.
##
##
##
## Domain allowed to transition.
##
##
##
##
## Role allowed access.
##
##
#
interface(`vbetool_run',`
gen_require(`
type vbetool_t;
')
vbetool_domtrans($1)
role $2 types vbetool_t;
')