## Hardware abstraction layer
########################################
##
## Execute hal in the hal domain.
##
##
## Domain allowed access.
##
#
interface(`hal_domtrans',`
gen_require(`
type hald_t, hald_exec_t;
')
domain_auto_trans($1,hald_exec_t,hald_t)
allow $1 hald_t:fd use;
allow hald_t $1:fd use;
allow hald_t $1:fifo_file rw_file_perms;
allow hald_t $1:process sigchld;
')