policy_module(pcmcia,1.0)

########################################

#

# Declarations

#

type cardmgr_t;

type cardmgr_exec_t;

init_daemon_domain(cardmgr_t,cardmgr_exec_t)

# Create symbolic links in /dev.

# cjp: this should probably be eliminated

type cardmgr_lnk_t;

files_type(cardmgr_lnk_t)

type cardmgr_var_lib_t;

files_type(cardmgr_var_lib_t)

type cardmgr_var_run_t;

files_pid_file(cardmgr_var_run_t)

type cardctl_exec_t;

domain_entry_file(cardmgr_t,cardctl_exec_t)

########################################

#

# Local policy

#

# Use capabilities (net_admin for route), setuid for cardctl

allow cardmgr_t self:capability { dac_read_search dac_override setuid net_admin sys_admin sys_nice sys_tty_config mknod };

dontaudit cardmgr_t self:capability sys_tty_config;

allow cardmgr_t self:process signal_perms;

allow cardmgr_t self:fifo_file rw_file_perms;

allow cardmgr_t self:unix_dgram_socket create_socket_perms;

allow cardmgr_t self:unix_stream_socket create_socket_perms;

allow cardmgr_t cardmgr_lnk_t:lnk_file create_lnk_perms;

dev_create_dev_node(cardmgr_t,cardmgr_lnk_t,lnk_file)

# Create stab file

allow cardmgr_t cardmgr_var_lib_t:file create_file_perms;

files_create_var_lib(cardmgr_t,cardmgr_var_lib_t)

allow cardmgr_t cardmgr_var_run_t:file create_file_perms;

files_create_pid(cardmgr_t,cardmgr_var_run_t)

kernel_read_system_state(cardmgr_t)

kernel_read_kernel_sysctl(cardmgr_t)

kernel_dontaudit_getattr_message_if(cardmgr_t)

bootloader_search_kernel_modules(cardmgr_t)

dev_read_sysfs(cardmgr_t)

dev_getattr_all_chr_files(cardmgr_t)

dev_getattr_all_blk_files(cardmgr_t)

# for SSP

dev_read_urand(cardmgr_t)

fs_getattr_all_fs(cardmgr_t)

fs_search_auto_mountpoints(cardmgr_t)

term_use_unallocated_tty(cardmgr_t)

term_getattr_all_user_ttys(cardmgr_t)

term_dontaudit_use_console(cardmgr_t)

term_dontaudit_getattr_all_user_ptys(cardmgr_t)

corecmd_exec_bin(cardmgr_t)

corecmd_exec_sbin(cardmgr_t)

domain_use_wide_inherit_fd(cardmgr_t)

domain_exec_all_entry_files(cardmgr_t)

# Read /proc/PID directories for all domains (for fuser).

domain_read_confined_domains_state(cardmgr_t)

domain_getattr_confined_domains(cardmgr_t)

domain_dontaudit_ptrace_confined_domains(cardmgr_t)

# cjp: these look excessive:

domain_dontaudit_getattr_all_unnamed_pipes(cardmgr_t)

domain_dontaudit_getattr_all_sockets(cardmgr_t)

files_list_usr(cardmgr_t)

files_search_home(cardmgr_t)

files_read_etc_runtime_files(cardmgr_t)

files_exec_etc_files(cardmgr_t)

# for /var/lib/misc/pcmcia-scheme

# would be better to have it in a different type if I knew how it was created..

files_read_var_lib_files(cardmgr_t)

# cjp: these look excessive:

files_dontaudit_getattr_all_dirs(cardmgr_t)

files_dontaudit_getattr_all_files(cardmgr_t)

files_dontaudit_getattr_all_symlinks(cardmgr_t)

files_dontaudit_getattr_all_pipes(cardmgr_t)

files_dontaudit_getattr_all_sockets(cardmgr_t)

init_use_fd(cardmgr_t)

init_use_script_pty(cardmgr_t)

libs_use_ld_so(cardmgr_t)

libs_use_shared_libs(cardmgr_t)

libs_exec_ld_so(cardmgr_t)

libs_exec_lib_files(cardmgr_t)

logging_send_syslog_msg(cardmgr_t)

miscfiles_read_localization(cardmgr_t)

modutils_domtrans_insmod(cardmgr_t)

sysnet_domtrans_ifconfig(cardmgr_t)

# for /etc/resolv.conf

sysnet_create_config(cardmgr_t)

sysnet_manage_config(cardmgr_t)

userdom_dontaudit_use_unpriv_user_fd(cardmgr_t)

userdom_dontaudit_search_sysadm_home_dir(cardmgr_t)

ifdef(`targeted_policy',`

	term_dontaudit_use_unallocated_tty(cardmgr_t)

	term_dontaudit_use_generic_pty(cardmgr_t)

	files_dontaudit_read_root_file(cardmgr_t)

')

optional_policy(`selinuxutil.te',`

	seutil_dontaudit_read_config(cardmgr_t)

	seutil_sigchld_newrole(cardmgr_t)

')

optional_policy(`sysnetwork.te',`

	sysnet_domtrans_dhcpc(cardmgr_t)

	sysnet_read_dhcpc_pid(cardmgr_t)

	sysnet_delete_dhcpc_pid(cardmgr_t)

	sysnet_kill_dhcpc(cardmgr_t)

	sysnet_sigchld_dhcpc(cardmgr_t)

	sysnet_signal_dhcpc(cardmgr_t)

	sysnet_signull_dhcpc(cardmgr_t)

	sysnet_sigstop_dhcpc(cardmgr_t)

')

optional_policy(`udev.te', `

	udev_read_db(cardmgr_t)

')

ifdef(`TODO',`

optional_policy(`rhgb.te',`

	rhgb_domain(cardmgr_t)

')

') dnl end TODO

# Create device files in /tmp.

# cjp: why is this created all over the place?

allow cardmgr_t cardmgr_dev_t:{ chr_file blk_file } manage_file_perms;

allow cardmgr_t { var_run_t cardmgr_var_run_t device_t tmp_t }:dir rw_dir_perms;

type_transition cardmgr_t { var_run_t cardmgr_var_run_t device_t tmp_t }:{ chr_file blk_file } cardmgr_dev_t;