1 ## <summary>gpsd monitor daemon</summary>
3 ########################################
5 ## Execute a domain transition to run gpsd.
7 ## <param name="domain">
9 ## Domain allowed to transition.
13 interface(`gpsd_domtrans',`
15 type gpsd_t, gpsd_exec_t;
18 domtrans_pattern($1, gpsd_exec_t, gpsd_t)
21 ########################################
23 ## Execute gpsd in the gpsd domain, and
24 ## allow the specified role the gpsd domain.
26 ## <param name="domain">
28 ## Domain allowed to transition.
31 ## <param name="role">
33 ## Role allowed access.
37 interface(`gpsd_run',`
46 ########################################
48 ## Read and write gpsd shared memory.
50 ## <param name="domain">
52 ## Domain allowed access.
56 interface(`gpsd_rw_shm',`
58 type gpsd_t, gpsd_tmpfs_t;
61 allow $1 gpsd_t:shm rw_shm_perms;
62 allow $1 gpsd_tmpfs_t:dir list_dir_perms;
63 rw_files_pattern($1, gpsd_tmpfs_t, gpsd_tmpfs_t)
64 read_lnk_files_pattern($1, gpsd_tmpfs_t, gpsd_tmpfs_t)