2005-06-07 22:36:07 +00:00
|
|
|
## <summary>Policy for udev.</summary>
|
2005-04-28 15:45:32 +00:00
|
|
|
|
2005-06-07 22:36:07 +00:00
|
|
|
########################################
|
2005-06-23 16:00:05 +00:00
|
|
|
## <desc>
|
2005-06-07 22:36:07 +00:00
|
|
|
## Execute udev in the udev domain.
|
2005-06-23 16:00:05 +00:00
|
|
|
## </desc>
|
|
|
|
## <param name="domain">
|
2005-06-07 22:36:07 +00:00
|
|
|
## The type of the process performing this action.
|
2005-06-23 16:00:05 +00:00
|
|
|
## </param>
|
2005-04-28 15:45:32 +00:00
|
|
|
#
|
2005-06-22 19:21:31 +00:00
|
|
|
interface(`udev_domtrans',`
|
2005-06-17 17:59:26 +00:00
|
|
|
gen_require(`
|
|
|
|
type udev_t, udev_exec_t;
|
|
|
|
class process sigchld;
|
|
|
|
class fd use;
|
|
|
|
class fifo_file rw_file_perms;
|
|
|
|
')
|
2005-06-03 12:25:14 +00:00
|
|
|
|
2005-06-08 21:07:03 +00:00
|
|
|
domain_auto_trans($1, udev_exec_t, udev_t)
|
2005-06-03 12:25:14 +00:00
|
|
|
|
|
|
|
allow $1 udev_t:fd use;
|
|
|
|
allow udev_t $1:fd use;
|
|
|
|
allow udev_t $1:fifo_file rw_file_perms;
|
|
|
|
allow udev_t $1:process sigchld;
|
2005-04-28 15:45:32 +00:00
|
|
|
')
|
|
|
|
|
|
|
|
########################################
|
2005-06-23 16:00:05 +00:00
|
|
|
## <desc>
|
2005-06-07 22:36:07 +00:00
|
|
|
## Allow process to read list of devices.
|
2005-06-23 16:00:05 +00:00
|
|
|
## </desc>
|
|
|
|
## <param name="domain">
|
2005-06-07 22:36:07 +00:00
|
|
|
## The type of the process performing this action.
|
2005-06-23 16:00:05 +00:00
|
|
|
## </param>
|
2005-04-28 15:45:32 +00:00
|
|
|
#
|
2005-06-22 19:21:31 +00:00
|
|
|
interface(`udev_read_db',`
|
2005-06-17 17:59:26 +00:00
|
|
|
gen_require(`
|
|
|
|
type udev_tdb_t;
|
|
|
|
class file r_file_perms;
|
|
|
|
')
|
2005-06-03 12:25:14 +00:00
|
|
|
|
2005-06-17 17:59:26 +00:00
|
|
|
dev_list_all_dev_nodes($1)
|
2005-06-08 21:07:03 +00:00
|
|
|
allow $1 udev_tdb_t:file r_file_perms;
|
2005-04-28 15:45:32 +00:00
|
|
|
')
|
|
|
|
|
2005-05-13 14:37:13 +00:00
|
|
|
########################################
|
2005-06-23 16:00:05 +00:00
|
|
|
## <desc>
|
2005-06-07 22:36:07 +00:00
|
|
|
## Allow process to modify list of devices.
|
2005-06-23 16:00:05 +00:00
|
|
|
## </desc>
|
|
|
|
## <param name="domain">
|
2005-06-07 22:36:07 +00:00
|
|
|
## The type of the process performing this action.
|
2005-06-23 16:00:05 +00:00
|
|
|
## </param>
|
2005-05-13 14:37:13 +00:00
|
|
|
#
|
2005-06-22 19:21:31 +00:00
|
|
|
interface(`udev_rw_db',`
|
2005-06-17 17:59:26 +00:00
|
|
|
gen_require(`
|
|
|
|
type udev_tdb_t;
|
|
|
|
class file rw_file_perms;
|
|
|
|
')
|
2005-06-03 12:25:14 +00:00
|
|
|
|
2005-06-17 17:59:26 +00:00
|
|
|
dev_list_all_dev_nodes($1)
|
2005-06-08 21:07:03 +00:00
|
|
|
allow $1 udev_tdb_t:file rw_file_perms;
|
2005-05-13 14:37:13 +00:00
|
|
|
')
|
|
|
|
|