## Hardware detection and configuration tools
########################################
##
## Execute kudzu in the kudzu domain.
##
##
##
## The type of the process performing this action.
##
##
#
interface(`kudzu_domtrans',`
gen_require(`
type kudzu_t, kudzu_exec_t;
')
domtrans_pattern($1, kudzu_exec_t, kudzu_t)
')
########################################
##
## Execute kudzu in the kudzu domain, and
## allow the specified role the kudzu domain.
##
##
##
## The type of the process performing this action.
##
##
##
##
## The role to be allowed the kudzu domain.
##
##
##
##
## The type of the terminal allow the kudzu domain to use.
##
##
##
#
interface(`kudzu_run',`
gen_require(`
type kudzu_t;
')
kudzu_domtrans($1)
role $2 types kudzu_t;
allow kudzu_t $3:chr_file rw_term_perms;
')
########################################
##
## Get attributes of kudzu executable.
##
##
##
## The type of the process performing this action.
##
##
#
# cjp: added for ddcprobe
interface(`kudzu_getattr_exec_files',`
gen_require(`
type kudzu_exec_t;
')
allow $1 kudzu_exec_t:file getattr;
')