## <module name="udev" layer="system">
## <summary>Policy for udev.</summary>

########################################
## <interface name="udev_transition">
##     <description>
##             Execute udev in the udev domain.
##     </description>
##     <parameter name="domain">
##             The type of the process performing this action.
##     </parameter>
##     <infoflow type="execute" weight="10"/>
## </interface>
#
define(`udev_transition',`
	requires_block_template(`$0'_depend)

	allow $1 udev_exec_t:file { getattr read execute };
	allow $1 udev_t:process transition;
	type_transition $1 udev_exec_t:process udev_t;
	dontaudit $1 udev_t:process { noatsecure siginh rlimitinh };

	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;
')

define(`udev_transition_depend',`
	type udev_t, udev_exec_t;

	class file { getattr read execute };
	class process { transition noatsecure siginh rlimitinh sigchld };
	class fd use;
	class fifo_file rw_file_perms;
')

########################################
## <interface name="udev_read_database">
##     <description>
##             Allow process to read list of devices.
##     </description>
##     <parameter name="domain">
##             The type of the process performing this action.
##     </parameter>
##     <infoflow type="read" weight="3"/>
## </interface>
#
define(`udev_read_database',`
	requires_block_template(`$0'_depend)

	allow $1 udev_tdb_t:file { getattr read };
')

define(`udev_read_database_depend',`
	type udev_tdb_t;

	class file { getattr read };
')

########################################
## <interface name="udev_modify_database">
##     <description>
##             Allow process to modify list of devices.
##     </description>
##     <parameter name="domain">
##             The type of the process performing this action.
##     </parameter>
##     <infoflow type="write" weight="10"/>
## </interface>
#
define(`udev_modify_database',`
	requires_block_template(`$0'_depend)

	allow $1 udev_tdb_t:file { getattr read write append };
')

define(`udev_modify_database_depend',`
	type udev_tdb_t;

	class file { getattr read write append };
')

## </module>