## gpsd monitor daemon.
########################################
##
## Execute a domain transition to run gpsd.
##
##
##
## Domain allowed to transition.
##
##
#
interface(`gpsd_domtrans',`
gen_require(`
type gpsd_t, gpsd_exec_t;
')
corecmd_search_bin($1)
domtrans_pattern($1, gpsd_exec_t, gpsd_t)
')
########################################
##
## Execute gpsd in the gpsd domain, and
## allow the specified role the gpsd domain.
##
##
##
## Domain allowed to transition.
##
##
##
##
## Role allowed access.
##
##
#
interface(`gpsd_run',`
gen_require(`
attribute_role gpsd_roles;
')
gpsd_domtrans($1)
roleattribute $2 gpsd_roles;
')
########################################
##
## Read and write gpsd shared memory.
##
##
##
## Domain allowed access.
##
##
#
interface(`gpsd_rw_shm',`
gen_require(`
type gpsd_t, gpsd_tmpfs_t;
')
allow $1 gpsd_t:shm rw_shm_perms;
allow $1 gpsd_tmpfs_t:dir list_dir_perms;
rw_files_pattern($1, gpsd_tmpfs_t, gpsd_tmpfs_t)
read_lnk_files_pattern($1, gpsd_tmpfs_t, gpsd_tmpfs_t)
fs_search_tmpfs($1)
')
########################################
##
## All of the rules required to
## administrate an gpsd environment.
##
##
##
## Domain allowed access.
##
##
##
##
## Role allowed access.
##
##
##
#
interface(`gpsd_admin',`
gen_require(`
type gpsd_t, gpsd_initrc_exec_t, gpsd_runtime_t;
')
allow $1 gpsd_t:process { ptrace signal_perms };
ps_process_pattern($1, gpsd_t)
init_startstop_service($1, $2, gpsd_t, gpsd_initrc_exec_t)
files_search_runtime($1)
admin_pattern($1, gpsd_runtime_t)
gpsd_run($1, $2)
')