policy_module(udev,1.0)

########################################
#
# Declarations
#

type udev_t; # nscd_client_domain
type udev_exec_t;
type udev_helper_exec_t;
kernel_userland_entry(udev_t,udev_exec_t)
kernel_make_object_identity_change_constraint_exception(udev_t)
domain_make_entrypoint_file(udev_t,udev_helper_exec_t)
domain_make_file_descriptors_widely_inheritable(udev_t)
init_make_daemon_domain(udev_t,udev_exec_t)

type udev_etc_t alias etc_udev_t;
files_make_file(udev_etc_t)

# udev_runtime_t is the type of the udev table file
# cjp: this is probably a copy of udev_tbl_t and can be removed
type udev_runtime_t;
files_make_file(udev_runtime_t)

type udev_tbl_t alias udev_tdb_t;
files_make_file(udev_tbl_t)

type udev_var_run_t;
files_make_daemon_runtime_file(udev_var_run_t)

########################################
#
# Local policy
#

allow udev_t self:capability { chown dac_override dac_read_search fowner fsetid sys_admin mknod net_raw net_admin };
allow udev_t self:process ~{ ptrace setcurrent setexec setfscreate setrlimit execmem dyntransition };
allow udev_t self:process { execmem setfscreate };
allow udev_t self:fd use;
allow udev_t self:fifo_file rw_file_perms;
allow udev_t self:unix_stream_socket { listen accept };
allow udev_t self:unix_dgram_socket sendto;
allow udev_t self:unix_stream_socket connectto;
allow udev_t self:shm create_shm_perms;
allow udev_t self:sem create_sem_perms;
allow udev_t self:msgq create_msgq_perms;
allow udev_t self:msg { send receive };
allow udev_t self:rawip_socket create_socket_perms;

allow udev_t udev_exec_t:file write;
can_exec(udev_t, udev_exec_t)

allow udev_t udev_helper_exec_t:dir r_dir_perms;

# read udev config
allow udev_t udev_etc_t:file r_file_perms;

# create udev database in /dev/.udevdb
allow udev_t udev_tbl_t:file create_file_perms;
dev_create_dev_node(udev_t,udev_tbl_t,file)

allow udev_t udev_var_run_t:dir rw_dir_perms;
allow udev_t udev_var_run_t:file create_file_perms;

kernel_read_system_state(udev_t)
kernel_getattr_core(udev_t)
kernel_use_fd(udev_t)
kernel_read_device_sysctl(udev_t)
kernel_read_hotplug_sysctl(udev_t)
kernel_read_modprobe_sysctl(udev_t)
kernel_read_kernel_sysctl(udev_t)
kernel_read_hardware_state(udev_t)
kernel_get_selinuxfs_mount_point(udev_t)
kernel_validate_context(udev_t)
kernel_compute_access_vector(udev_t)
kernel_compute_create_context(udev_t)
kernel_compute_relabel_context(udev_t)
kernel_compute_reachable_user_contexts(udev_t)

dev_manage_dev_nodes(udev_t)

fs_getattr_all_fs(udev_t)

corecommands_execute_general_programs(udev_t)
corecommands_execute_system_programs(udev_t)
corecommands_execute_shell(udev_t)

domain_execute_all_entrypoint_programs(udev_t)
domain_ignore_read_all_domains_process_dirs(udev_t)

files_read_runtime_system_config(udev_t)
files_read_general_system_config(udev_t)
files_execute_system_config_script(udev_t)
files_ignore_search_isid_type_dir(udev_t)

init_use_file_descriptors(udev_t)
init_script_read_runtime_data(udev_t)
init_script_ignore_write_runtime_data(udev_t)

libraries_use_dynamic_loader(udev_t)
libraries_use_shared_libraries(udev_t)

logging_send_system_log_message(udev_t)

miscfiles_read_localization(udev_t)

modutils_insmod_transition(udev_t)

selinux_read_config(udev_t)
selinux_read_default_contexts(udev_t)
selinux_read_file_contexts(udev_t)
selinux_restorecon_transition(udev_t)

sysnetwork_ifconfig_transition(udev_t)

ifdef(`distro_redhat',`
	fs_manage_tmpfs_block_devices(udev_t)
	fs_manage_tmpfs_character_devices(udev_t)

	# for arping used for static IP addresses on PCMCIA ethernet
	netutils_transition(udev_t)
')

optional_policy(`authlogin.te',`
	authlogin_pam_console_read_runtime_data(udev_t)
	authlogin_pam_console_transition(udev_t)
')

optional_policy(`consoletype.te',`
	consoletype_execute(udev_t)
')

optional_policy(`hotplug.te',`
	hotplug_read_config(udev_t)
')

optional_policy(`sysnetwork.te',`
	sysnetwork_dhcpc_transition(udev_t)
')

ifdef(`TODO',`
allow udev_t var_log_t:dir search;
allow udev_t var_lock_t:dir search;
allow udev_t var_lock_t:file getattr;

allow udev_t mnt_t:dir search;

allow udev_t devpts_t:dir { getattr search };
allow udev_t sysadm_tty_device_t:chr_file { read write };

# Dontaudits
dontaudit udev_t staff_home_dir_t:dir search;
dontaudit udev_t ttyfile:chr_file unlink;

allow udev_t kernel_t:unix_dgram_socket { sendto ioctl read write };

dbusd_client(system, udev)

ifdef(`distro_redhat',`
allow udev_t tmpfs_t:sock_file create_file_perms;
allow udev_t tmpfs_t:lnk_file create_lnk_perms;
allow udev_t tmpfs_t:{ chr_file blk_file } { relabelfrom relabelto };
')

tunable_policy(`hide_broken_symptoms',`
dontaudit restorecon_t udev_t:unix_dgram_socket { read write };
dontaudit ifconfig_t udev_t:unix_dgram_socket { read write };
')

optional_policy(`xdm.te',`
allow udev_t xdm_var_run_t:file { getattr read };
')

') dnl endif TODO