policy_module(hotplug, 1.0)

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

type hotplug_t;
type hotplug_exec_t;
kernel_userland_entry(hotplug_t,hotplug_exec_t)
init_system_domain(hotplug_t,hotplug_exec_t)

type hotplug_etc_t; #, usercanread;
files_file_type(hotplug_etc_t)

type hotplug_var_run_t;
files_pid_file(hotplug_var_run_t)

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

allow hotplug_t self:capability { net_admin sys_tty_config mknod };
dontaudit hotplug_t self:capability { sys_module sys_admin sys_tty_config };
# for access("/etc/bashrc", X_OK) on Red Hat
dontaudit hotplug_t self:capability { dac_override dac_read_search };

allow hotplug_t self:process { getsession getattr };

allow hotplug_t self:fifo_file rw_file_perms;
allow hotplug_t self:udp_socket create_socket_perms;
allow hotplug_t self:tcp_socket connected_stream_socket_perms;

allow hotplug_t hotplug_etc_t:file r_file_perms;
allow hotplug_t hotplug_etc_t:dir r_dir_perms;
allow hotplug_t hotplug_etc_t:lnk_file r_file_perms;

allow hotplug_t hotplug_exec_t:file { getattr read ioctl execute execute_no_trans };
allow hotplug_t hotplug_etc_t:file { getattr read execute execute_no_trans };

allow hotplug_t hotplug_var_run_t:file { getattr create read write append setattr unlink };
files_create_pid(hotplug_t,hotplug_var_run_t)

kernel_read_system_state(hotplug_t)
kernel_read_kernel_sysctl(hotplug_t)
kernel_read_hardware_state(hotplug_t)
kernel_read_net_sysctl(hotplug_t)
kernel_read_usb_hardware_state(hotplug_t)

bootloader_read_kernel_modules(hotplug_t)

corenet_tcp_sendrecv_all_if(hotplug_t)
corenet_raw_sendrecv_all_if(hotplug_t)
corenet_tcp_sendrecv_all_nodes(hotplug_t)
corenet_raw_sendrecv_all_nodes(hotplug_t)
corenet_tcp_sendrecv_all_ports(hotplug_t)
corenet_tcp_bind_all_nodes(hotplug_t)

# for SSP
dev_read_urand(hotplug_t)

fs_getattr_all_fs(hotplug_t)

storage_setattr_fixed_disk(hotplug_t)
storage_setattr_removable_device(hotplug_t)

term_dontaudit_use_console(hotplug_t)

corecmd_exec_bin(hotplug_t)
corecmd_exec_shell(hotplug_t)
corecmd_exec_sbin(hotplug_t)

domain_use_wide_inherit_fd(hotplug_t)

files_read_generic_etc_files(hotplug_t)
files_manage_etc_runtime_files(hotplug_t)
files_exec_generic_etc_files(hotplug_t)
# for when filesystems are not mounted early in the boot:
files_dontaudit_search_isid_type_dir(hotplug_t)

init_use_fd(hotplug_t)
init_use_script_pty(hotplug_t)
init_read_script_process_state(hotplug_t)
# Allow hotplug (including /sbin/ifup-local) to start/stop services and
# run sendmail -q
init_domtrans_script(hotplug_t)
# kernel threads inherit from shared descriptor table used by init
init_dontaudit_use_initctl(hotplug_t)

logging_send_syslog_msg(hotplug_t)
logging_search_logs(hotplug_t)

libs_use_ld_so(hotplug_t)
libs_use_shared_libs(hotplug_t)
# Read /usr/lib/gconv/.*
libs_read_lib(hotplug_t)

modutils_domtrans_insmod(hotplug_t)
modutils_read_kernel_module_dependencies(hotplug_t)

miscfiles_read_localization(hotplug_t)

mount_domtrans(hotplug_t)

sysnet_read_config(hotplug_t)

userdom_dontaudit_use_unpriv_user_fd(hotplug_t)

ifdef(`distro_redhat', `
	optional_policy(`netutils.te', `
		# for arping used for static IP addresses on PCMCIA ethernet
		netutils_domtrans(hotplug_t)
		fs_use_tmpfs_character_devices(hotplug_t)
	')
	files_getattr_generic_lock_files(hotplug_t)
')

ifdef(`targeted_policy', `
	term_dontaudit_use_unallocated_tty(hotplug_t)
	term_dontaudit_use_generic_pty(hotplug_t)
	files_dontaudit_read_root_file(hotplug_t)
')

optional_policy(`consoletype.te',`
	consoletype_domtrans(hotplug_t)
')

optional_policy(`hostname.te',`
	hostname_exec(hotplug_t)
')

optional_policy(`iptables.te',`
	iptables_domtrans(hotplug_t)
')

optional_policy(`mta.te', `
	mta_send_mail(hotplug_t)
')

optional_policy(`selinux.te',`
	selinux_newrole_sigchld(hotplug_t)
')

optional_policy(`sysnetwork.te',`
	sysnet_domtrans_ifconfig(hotplug_t)
')

optional_policy(`udev.te', `
	udev_domtrans(hotplug_t)
	udev_read_db(hotplug_t)
')

optional_policy(`updfstab.te', `
	updfstab_transition(hotplug_t)
')

ifdef(`TODO',`
allow hotplug_t autofs_t:dir { search getattr };
dontaudit hotplug_t sysadm_home_dir_t:dir search;
optional_policy(`rhgb.te', `
	allow hotplug_t rhgb_t:process sigchld;
	allow hotplug_t rhgb_t:fd use;
	allow hotplug_t rhgb_t:fifo_file { read write };
')

allow kernel_t hotplug_etc_t:dir search;

allow hotplug_t sound_device_t:chr_file setattr;

can_ypbind(hotplug_t)
dbusd_client(system, hotplug)

allow hotplug_t kernel_t:process sigchld;


# for ps
dontaudit hotplug_t domain:dir { getattr search };
dontaudit hotplug_t { init_t kernel_t }:file read;

optional_policy(`hald.te', `
	allow hotplug_t hald_t:unix_dgram_socket sendto;
')

# this goes to hald:
optional_policy(`hotplug.te',`
	allow hald_t hotplug_etc_t:dir search;
	allow hald_t hotplug_etc_t:file { getattr read };
')

optional_policy(`fsadm.te', `
	domain_auto_trans(hotplug_t, fsadm_exec_t, fsadm_t)
')

optional_policy(`lpd.te', `
	allow hotplug_t printer_device_t:chr_file setattr;
')
') dnl end TODO