# Copyright (C) 2005 Tresys Technology, LLC

policy_module(hotplug, 1.0)

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

type hotplug_t;
type hotplug_exec_t;
domain_make_system_domain(hotplug_t,hotplug_exec_t)

type hotplug_etc_t; #, usercanread;
files_make_file(hotplug_etc_t)

type hotplug_var_run_t;
files_make_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 { read write getattr ioctl };
allow hotplug_t self:udp_socket { create ioctl read getattr write setattr append bind connect getopt setopt shutdown };

allow hotplug_t hotplug_etc_t:file { read getattr lock ioctl };
allow hotplug_t hotplug_etc_t:dir { read getattr lock search ioctl };
allow hotplug_t hotplug_etc_t:lnk_file { getattr read };

allow hotplug_t { hotplug_exec_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_daemon_runtime_data(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_network_sysctl(hotplug_t)
kernel_read_usb_hardware_state(hotplug_t)
kernel_transition_from(hotplug_t,hotplug_exec_t)

bootloader_read_kernel_modules(hotplug_t)

devices_discard_data_stream(hotplug_t)
# for SSP
devices_get_pseudorandom_data(hotplug_t)

filesystem_get_all_filesystems_attributes(hotplug_t)

storage_set_fixed_disk_attributes(hotplug_t)
storage_set_removable_device_attributes(hotplug_t)

terminal_use_controlling_terminal(hotplug_t)
terminal_ignore_use_console(hotplug_t)

init_use_file_descriptors(hotplug_t)
init_script_use_pseudoterminal(hotplug_t)
# Allow hotplug (including /sbin/ifup-local) to start/stop services and
# run sendmail -q
init_script_transition(hotplug_t)
# kernel threads inherit from shared descriptor table used by init
init_ignore_use_control_channel(hotplug_t)

domain_use_widely_inheritable_file_descriptors(hotplug_t)

files_read_general_system_config(hotplug_t)
files_create_runtime_system_config(hotplug_t)
files_execute_system_config_script(hotplug_t)

corecommands_execute_general_programs(hotplug_t)
corecommands_execute_shell(hotplug_t)
corecommands_execute_system_programs(hotplug_t)

logging_send_system_log_message(hotplug_t)

libraries_use_dynamic_loader(hotplug_t)
libraries_read_shared_libraries(hotplug_t)

modutils_insmod_transition(hotplug_t)
modutils_read_kernel_module_dependencies(hotplug_t)

miscfiles_read_localization(hotplug_t)

mount_transition(hotplug_t)

tunable_policy(`targeted_policy', `
terminal_ignore_use_general_physical_terminal(hotplug_t)
terminal_ignore_use_general_pseudoterminal(hotplug_t)
files_ignore_read_rootfs_file(hotplug_t)
')

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

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

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

optional_policy(`udev.te', `
udev_transition(hotplug_t)
udev_read_database(hotplug_t)
')

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

ifdef(`TODO',`
allow hotplug_t null_device_t:chr_file r_file_perms;
dontaudit hotplug_t unpriv_userdomain:fd use;
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 };
')

can_exec(hotplug_t, { ls_exec_t })

allow kernel_t hotplug_etc_t:dir search;

allow hotplug_t sound_device_t:chr_file setattr;

can_network_server(hotplug_t)
can_ypbind(hotplug_t)
dbusd_client(system, hotplug)

allow initrc_t usbdevfs_t:file { getattr read ioctl };
allow initrc_t modules_dep_t:file { getattr read ioctl };
# init scripts run /etc/hotplug/usb.rc
allow initrc_t hotplug_etc_t:dir r_dir_perms;

allow hotplug_t kernel_t:process sigchld;

# for when filesystems are not mounted early in the boot
dontaudit hotplug_t file_t:dir { search getattr };

# Read /usr/lib/gconv/.*
allow hotplug_t lib_t:file { getattr read };

allow hotplug_t udev_runtime_t:file rw_file_perms;

allow hotplug_t var_log_t:dir search;

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

optional_policy(`hostname.te',`
hostname_execute(hotplug_t)
dontaudit hostname_t hotplug_t:fd use;
')

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

tunable_policy(`distro_redhat', `
optional_policy(`netutils.te', `
# for arping used for static IP addresses on PCMCIA ethernet
netutils_transition(hotplug_t)
allow hotplug_t tmpfs_t:dir search;
allow hotplug_t tmpfs_t:chr_file rw_file_perms;
') dnl endif netutils optional
allow hotplug_t var_lock_t:dir search;
allow hotplug_t var_lock_t:file getattr;
')dnl end distro_redhat tunable

optional_policy(`hald.te', `
allow hotplug_t hald_t:unix_dgram_socket sendto;
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(`initrc.te', `
can_ps(hotplug_t, initrc_t)
')

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

optional_policy(`mta.te', `
domain_auto_trans(hotplug_t, sendmail_exec_t, system_mail_t)
')
') dnl end TODO