selinux-policy/refpolicy/policy/modules/system/modutils.te


policy_module(modutils,1.0.1)

gen_require(`
	bool secure_mode_insmod;
')

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

# module loading config
type modules_conf_t;
files_type(modules_conf_t)

# module dependencies
type modules_dep_t;
files_type(modules_dep_t)

type insmod_t;
type insmod_exec_t;
init_system_domain(insmod_t,insmod_exec_t)
mls_file_write_down(insmod_t)
role system_r types insmod_t;

type depmod_t;
type depmod_exec_t;
init_system_domain(depmod_t,depmod_exec_t)
role system_r types depmod_t;

type update_modules_t;
type update_modules_exec_t;
init_system_domain(update_modules_t,update_modules_exec_t)
role system_r types update_modules_t;

type update_modules_tmp_t;
files_tmp_file(update_modules_tmp_t)

########################################
#
# insmod local policy
#

allow insmod_t self:capability { dac_override net_raw sys_tty_config };
allow insmod_t self:process { execmem sigchld sigkill sigstop signull signal };

allow insmod_t self:udp_socket create_socket_perms; 
allow insmod_t self:rawip_socket create_socket_perms; 

# Read module config and dependency information
allow insmod_t { modules_conf_t modules_dep_t }:file r_file_perms;

can_exec(insmod_t, insmod_exec_t)

# make sediff happy (no effect)
dontaudit insmod_t self:process { noatsecure rlimitinh siginh };
type_transition insmod_t insmod_exec_t:process insmod_t;

kernel_load_module(insmod_t)
kernel_read_system_state(insmod_t)
kernel_mount_debugfs(insmod_t)
kernel_read_debugfs(insmod_t)
# Rules for /proc/sys/kernel/tainted
kernel_read_kernel_sysctls(insmod_t)
kernel_rw_kernel_sysctl(insmod_t)
kernel_read_hotplug_sysctls(insmod_t)

bootloader_read_kernel_modules(insmod_t)
# for locking: (cjp: ????)
bootloader_write_kernel_modules(insmod_t)

dev_search_sysfs(insmod_t)
dev_search_usbfs(insmod_t)
dev_write_mtrr(insmod_t)
dev_read_urand(insmod_t)
dev_rw_agp(insmod_t)
dev_read_sound(insmod_t)
dev_write_sound(insmod_t)
dev_rw_apm_bios(insmod_t)
# cjp: why is this needed?  insmod cannot mounton any dir
# and it also transitions to mount
dev_mount_usbfs(insmod_t)

fs_getattr_xattr_fs(insmod_t)

corecmd_exec_bin(insmod_t)
corecmd_exec_sbin(insmod_t)
corecmd_exec_shell(insmod_t)

domain_signal_all_domains(insmod_t)
domain_use_wide_inherit_fd(insmod_t)

files_read_etc_runtime_files(insmod_t)
files_read_etc_files(insmod_t)
files_read_usr_files(insmod_t)
files_exec_etc_files(insmod_t)
# for nscd:
files_dontaudit_search_pids(insmod_t)
# for when /var is not mounted early in the boot:
files_dontaudit_search_isid_type_dirs(insmod_t)

init_use_initctl(insmod_t)
init_use_fd(insmod_t)
init_use_script_fd(insmod_t)
init_use_script_pty(insmod_t)

libs_use_ld_so(insmod_t)
libs_use_shared_libs(insmod_t)

logging_send_syslog_msg(insmod_t)
logging_search_logs(insmod_t)

miscfiles_read_localization(insmod_t)

seutil_read_file_contexts(insmod_t)

if( ! secure_mode_insmod ) {
	kernel_domtrans_to(insmod_t,insmod_exec_t)
}

ifdef(`hide_broken_symptoms',`
	dev_dontaudit_rw_cardmgr(insmod_t)
')

ifdef(`targeted_policy',`
	unconfined_domain_template(insmod_t)
')

optional_policy(`hotplug',`
	hotplug_search_config(insmod_t)
')

optional_policy(`mount',`
	mount_domtrans(insmod_t)
')

optional_policy(`nis',`
	nis_use_ypbind(insmod_t)
')

optional_policy(`nscd',`
	nscd_use_socket(insmod_t)
')

optional_policy(`rpm',`
	rpm_rw_pipe(insmod_t)
')

ifdef(`TODO',`
allow insmod_t proc_t:file rw_file_perms;
optional_policy(`xserver',`
	xserver_getattr_log(insmod_t)
	allow insmod_t xserver_misc_device_t:chr_file { read write };
')
')

########################################
#
# depmod local policy
#

can_exec(depmod_t, depmod_exec_t)

# Read conf.modules.
allow depmod_t modules_conf_t:file r_file_perms;

allow depmod_t modules_dep_t:file create_file_perms;
bootloader_filetrans_modules(depmod_t,modules_dep_t)

kernel_read_system_state(depmod_t)

bootloader_read_kernel_symbol_table(depmod_t)
bootloader_read_kernel_modules(depmod_t)

fs_getattr_xattr_fs(depmod_t)

term_use_console(depmod_t)

corecmd_search_bin(depmod_t)
corecmd_search_sbin(depmod_t)

domain_use_wide_inherit_fd(depmod_t)

init_use_fd(depmod_t)
init_use_script_fd(depmod_t)
init_use_script_pty(depmod_t)

files_read_etc_runtime_files(depmod_t)
files_read_etc_files(depmod_t)
files_read_usr_src_files(depmod_t)
files_list_usr(depmod_t)

libs_use_ld_so(depmod_t)
libs_use_shared_libs(depmod_t)

# Read System.map from home directories.
files_list_home(depmod_t)
userdom_read_staff_home_files(depmod_t)
userdom_read_sysadm_home_files(depmod_t)

ifdef(`targeted_policy', `
	term_use_unallocated_tty(depmod_t)
	term_use_generic_pty(depmod_t)
')

optional_policy(`rpm',`
	rpm_rw_pipe(depmod_t)
')

ifdef(`TODO',`
ifdef(`gnome-pty-helper.te', `allow depmod_t sysadm_gph_t:fd use;')
') dnl end ifdef TODO

allow depmod_t modules_object_t:file unlink;

#################################
#
# update-modules local policy
#

allow update_modules_t self:fifo_file rw_file_perms;

allow update_modules_t modules_dep_t:file rw_file_perms;

can_exec(update_modules_t, insmod_exec_t)
can_exec(update_modules_t, update_modules_exec_t)

# manage module loading configuration
allow update_modules_t modules_conf_t:file create_file_perms;
bootloader_filetrans_modules(update_modules_t,modules_conf_t)
files_filetrans_etc(update_modules_t,modules_conf_t)

# transition to depmod
domain_auto_trans(update_modules_t, depmod_exec_t, depmod_t)
allow update_modules_t depmod_t:fd use;
allow depmod_t update_modules_t:fd use;
allow depmod_t update_modules_t:fifo_file rw_file_perms;
allow depmod_t update_modules_t:process sigchld;

allow update_modules_t update_modules_tmp_t:dir create_dir_perms;
allow update_modules_t update_modules_tmp_t:file create_file_perms;
files_filetrans_tmp(update_modules_t, update_modules_tmp_t, { file dir })

kernel_read_kernel_sysctls(update_modules_t)
kernel_read_system_state(update_modules_t)

dev_read_urand(update_modules_t)

fs_getattr_xattr_fs(update_modules_t)

term_use_console(update_modules_t)

init_use_fd(update_modules_t)
init_use_script_fd(update_modules_t)
init_use_script_pty(update_modules_t)

domain_use_wide_inherit_fd(update_modules_t)

files_read_etc_runtime_files(update_modules_t)
files_read_etc_files(update_modules_t)
files_exec_etc_files(update_modules_t)

corecmd_exec_bin(update_modules_t)
corecmd_exec_sbin(update_modules_t)
corecmd_exec_shell(update_modules_t)

libs_use_ld_so(update_modules_t)
libs_use_shared_libs(update_modules_t)

logging_send_syslog_msg(update_modules_t)

miscfiles_read_localization(update_modules_t)

userdom_dontaudit_search_sysadm_home_dir(update_modules_t)

ifdef(`targeted_policy',`
	term_use_generic_pty(update_modules_t)
	term_use_unallocated_tty(update_modules_t)
')
add copyright statement 2005-04-20 19:07:16 +00:00
patch from dan Fri, 27 Jan 2006 01:37:19 -0500 2006-01-27 20:13:08 +00:00			`policy_module(modutils,1.0.1)`
add module statement macro and entrypoint executable attribute to replicate can_exec($1,exec_type) 2005-04-26 17:00:25 +00:00
fix several modular build problems 2005-11-29 21:27:15 +00:00			gen_require(`
			`bool secure_mode_insmod;`
			`')`

make a reasonable lib_t interface 2005-05-11 15:46:51 +00:00			`########################################`
			`#`
			`# Declarations`
			`#`

initial commit 2005-04-14 20:18:17 +00:00			`# module loading config`
			`type modules_conf_t;`
another round of renaming, for consistency 2005-06-29 14:26:41 +00:00			`files_type(modules_conf_t)`
initial commit 2005-04-14 20:18:17 +00:00
			`# module dependencies`
			`type modules_dep_t;`
another round of renaming, for consistency 2005-06-29 14:26:41 +00:00			`files_type(modules_dep_t)`
initial commit 2005-04-14 20:18:17 +00:00
add mls privileges 2005-09-26 20:26:32 +00:00			`type insmod_t;`
initial commit 2005-04-14 20:18:17 +00:00			`type insmod_exec_t;`
renaming insanity 2005-06-13 17:35:46 +00:00			`init_system_domain(insmod_t,insmod_exec_t)`
add mls privileges 2005-09-26 20:26:32 +00:00			`mls_file_write_down(insmod_t)`
convert over to system_domain, plus a couple init cleanups 2005-05-05 18:30:00 +00:00			`role system_r types insmod_t;`
initial commit 2005-04-14 20:18:17 +00:00
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00			`type depmod_t;`
			`type depmod_exec_t;`
renaming insanity 2005-06-13 17:35:46 +00:00			`init_system_domain(depmod_t,depmod_exec_t)`
convert over to system_domain, plus a couple init cleanups 2005-05-05 18:30:00 +00:00			`role system_r types depmod_t;`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
			`type update_modules_t;`
			`type update_modules_exec_t;`
renaming insanity 2005-06-13 17:35:46 +00:00			`init_system_domain(update_modules_t,update_modules_exec_t)`
convert over to system_domain, plus a couple init cleanups 2005-05-05 18:30:00 +00:00			`role system_r types update_modules_t;`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
clean up some filesystem assoc 2005-04-21 22:46:49 +00:00			`type update_modules_tmp_t;`
renaming insanity 2005-06-13 17:35:46 +00:00			`files_tmp_file(update_modules_tmp_t)`
clean up some filesystem assoc 2005-04-21 22:46:49 +00:00
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00			`########################################`
			`#`
			`# insmod local policy`
			`#`

			`allow insmod_t self:capability { dac_override net_raw sys_tty_config };`
			`allow insmod_t self:process { execmem sigchld sigkill sigstop signull signal };`

aliases 2005-06-09 14:26:05 +00:00			`allow insmod_t self:udp_socket create_socket_perms;`
			`allow insmod_t self:rawip_socket create_socket_perms;`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
reorder for more consistency 2005-05-11 15:22:28 +00:00			`# Read module config and dependency information`
aliases 2005-06-09 14:26:05 +00:00			`allow insmod_t { modules_conf_t modules_dep_t }:file r_file_perms;`
reorder for more consistency 2005-05-11 15:22:28 +00:00
aliases 2005-06-09 14:26:05 +00:00			`can_exec(insmod_t, insmod_exec_t)`
reorder for more consistency 2005-05-11 15:22:28 +00:00
more fixing 2005-10-26 21:03:19 +00:00			`# make sediff happy (no effect)`
			`dontaudit insmod_t self:process { noatsecure rlimitinh siginh };`
			`type_transition insmod_t insmod_exec_t:process insmod_t;`

more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00			`kernel_load_module(insmod_t)`
fixes from cab 2005-05-26 20:38:45 +00:00			`kernel_read_system_state(insmod_t)`
final updates from nsa cvs 2005-09-19 21:17:45 +00:00			`kernel_mount_debugfs(insmod_t)`
more merging from 1.27.1-15 2005-10-14 17:55:40 +00:00			`kernel_read_debugfs(insmod_t)`
initial commit 2005-04-14 20:18:17 +00:00			`# Rules for /proc/sys/kernel/tainted`
renaming from 20060131 interface review, round 2 2006-01-31 16:49:43 +00:00			`kernel_read_kernel_sysctls(insmod_t)`
renaming insanity 2005-06-10 01:01:13 +00:00			`kernel_rw_kernel_sysctl(insmod_t)`
renaming from 20060131 interface review, round 2 2006-01-31 16:49:43 +00:00			`kernel_read_hotplug_sysctls(insmod_t)`
initial commit 2005-04-14 20:18:17 +00:00
move modules_object_t back to bootloader 2005-04-25 21:32:09 +00:00			`bootloader_read_kernel_modules(insmod_t)`
fixes from cab 2005-05-26 20:38:45 +00:00			`# for locking: (cjp: ????)`
			`bootloader_write_kernel_modules(insmod_t)`
move modules_object_t back to bootloader 2005-04-25 21:32:09 +00:00
move constraints interfaces to domain module. move sysfs and usbfs to devices module 2005-06-14 19:56:46 +00:00			`dev_search_sysfs(insmod_t)`
			`dev_search_usbfs(insmod_t)`
Devices rename. 2005-06-13 16:22:32 +00:00			`dev_write_mtrr(insmod_t)`
			`dev_read_urand(insmod_t)`
renaming from 20060131 interface review 2006-01-31 16:08:56 +00:00			`dev_rw_agp(insmod_t)`
			`dev_read_sound(insmod_t)`
			`dev_write_sound(insmod_t)`
clean up more todos 2005-06-29 20:53:53 +00:00			`dev_rw_apm_bios(insmod_t)`
more work on current modules 2005-06-30 18:54:08 +00:00			`# cjp: why is this needed? insmod cannot mounton any dir`
			`# and it also transitions to mount`
			`dev_mount_usbfs(insmod_t)`
initial commit 2005-04-14 20:18:17 +00:00
renaming insanity 2005-06-10 01:01:13 +00:00			`fs_getattr_xattr_fs(insmod_t)`
initial commit 2005-04-14 20:18:17 +00:00
renaming insanity 2005-06-13 17:35:46 +00:00			`corecmd_exec_bin(insmod_t)`
			`corecmd_exec_sbin(insmod_t)`
			`corecmd_exec_shell(insmod_t)`
many fixes from cab work 2005-05-30 21:17:20 +00:00
			`domain_signal_all_domains(insmod_t)`
renaming insanity 2005-06-13 17:35:46 +00:00			`domain_use_wide_inherit_fd(insmod_t)`
many fixes from cab work 2005-05-30 21:17:20 +00:00
renaming insanity 2005-06-13 17:35:46 +00:00			`files_read_etc_runtime_files(insmod_t)`
another round of renaming, for consistency 2005-06-29 14:26:41 +00:00			`files_read_etc_files(insmod_t)`
renaming insanity 2005-06-13 17:35:46 +00:00			`files_read_usr_files(insmod_t)`
another round of renaming, for consistency 2005-06-29 14:26:41 +00:00			`files_exec_etc_files(insmod_t)`
add some file_t interfaces, and console write 2005-05-31 21:25:45 +00:00			`# for nscd:`
renaming insanity 2005-06-13 17:35:46 +00:00			`files_dontaudit_search_pids(insmod_t)`
add some file_t interfaces, and console write 2005-05-31 21:25:45 +00:00			`# for when /var is not mounted early in the boot:`
renaming from 20060131 interface review, round 3 2006-01-31 19:21:01 +00:00			`files_dontaudit_search_isid_type_dirs(insmod_t)`
initial commit 2005-04-14 20:18:17 +00:00
renaming insanity 2005-06-13 17:35:46 +00:00			`init_use_initctl(insmod_t)`
			`init_use_fd(insmod_t)`
			`init_use_script_fd(insmod_t)`
			`init_use_script_pty(insmod_t)`
more conversion due to new interfaces 2005-05-03 20:44:35 +00:00
renaming insanity 2005-06-13 17:35:46 +00:00			`libs_use_ld_so(insmod_t)`
			`libs_use_shared_libs(insmod_t)`
initial commit 2005-04-14 20:18:17 +00:00
renaming insanity 2005-06-13 17:35:46 +00:00			`logging_send_syslog_msg(insmod_t)`
			`logging_search_logs(insmod_t)`
initial commit 2005-04-14 20:18:17 +00:00
			`miscfiles_read_localization(insmod_t)`

patch from dan Fri, 27 Jan 2006 01:37:19 -0500 2006-01-27 20:13:08 +00:00			`seutil_read_file_contexts(insmod_t)`

pile of sediff fixes 2005-11-08 22:00:30 +00:00			`if( ! secure_mode_insmod ) {`
from today's interface review meeting: s/kernel_use_unlabeled_blk_dev/kernel_rw_unlabeled_blk_dev/g s/kernel_userland_entry/kernel_domtrans_to/g 2006-01-27 19:55:42 +00:00			`kernel_domtrans_to(insmod_t,insmod_exec_t)`
pile of sediff fixes 2005-11-08 22:00:30 +00:00			`}`

* break up files_getattr_all_files into correct interfaces * move stuff out of pcmcia into the appropriate modules 2005-07-15 15:17:57 +00:00			ifdef(`hide_broken_symptoms',`
			`dev_dontaudit_rw_cardmgr(insmod_t)`
			`')`

fix typos and import some rules from NSA cvs to make targeted policy work 2005-07-20 14:25:24 +00:00			ifdef(`targeted_policy',`
more targeted policy fixes 2005-07-19 20:26:02 +00:00			`unconfined_domain_template(insmod_t)`
			`')`

Change optional_policy() to refer to the module name rather than modulename.te. 2005-11-23 20:24:27 +00:00			optional_policy(`hotplug',`
more updates 2005-09-15 21:03:29 +00:00			`hotplug_search_config(insmod_t)`
			`')`

Change optional_policy() to refer to the module name rather than modulename.te. 2005-11-23 20:24:27 +00:00			optional_policy(`mount',`
renaming insanity 2005-06-13 17:35:46 +00:00			`mount_domtrans(insmod_t)`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00			`')`
initial commit 2005-04-14 20:18:17 +00:00
Change optional_policy() to refer to the module name rather than modulename.te. 2005-11-23 20:24:27 +00:00			optional_policy(`nis',`
add radvd, plus a few cleanups from sediff 2005-09-23 21:20:03 +00:00			`nis_use_ypbind(insmod_t)`
			`')`

Change optional_policy() to refer to the module name rather than modulename.te. 2005-11-23 20:24:27 +00:00			optional_policy(`nscd',`
more updates 2005-09-15 21:03:29 +00:00			`nscd_use_socket(insmod_t)`
			`')`

Change optional_policy() to refer to the module name rather than modulename.te. 2005-11-23 20:24:27 +00:00			optional_policy(`rpm',`
more cleanup of current TODOs 2005-07-12 20:34:24 +00:00			`rpm_rw_pipe(insmod_t)`
			`')`

more upstream merging 2005-09-16 21:20:37 +00:00			ifdef(`TODO',`
final updates from nsa cvs 2005-09-19 21:17:45 +00:00			`allow insmod_t proc_t:file rw_file_perms;`
Change optional_policy() to refer to the module name rather than modulename.te. 2005-11-23 20:24:27 +00:00			optional_policy(`xserver',`
more upstream merging 2005-09-16 21:20:37 +00:00			`xserver_getattr_log(insmod_t)`
			`allow insmod_t xserver_misc_device_t:chr_file { read write };`
			`')`
			`')`
initial commit 2005-04-14 20:18:17 +00:00
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00			`########################################`
			`#`
			`# depmod local policy`
			`#`

aliases 2005-06-09 14:26:05 +00:00			`can_exec(depmod_t, depmod_exec_t)`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
			`# Read conf.modules.`
aliases 2005-06-09 14:26:05 +00:00			`allow depmod_t modules_conf_t:file r_file_perms;`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
aliases 2005-06-09 14:26:05 +00:00			`allow depmod_t modules_dep_t:file create_file_perms;`
rename create verb to filetrans for type transitioning ifs 2006-01-13 21:06:49 +00:00			`bootloader_filetrans_modules(depmod_t,modules_dep_t)`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
			`kernel_read_system_state(depmod_t)`

add a couple more nfs and cifs interfaces, to cover most of the use_(nfs\|cifs)_home_dirs tunable 2005-06-16 20:33:51 +00:00			`bootloader_read_kernel_symbol_table(depmod_t)`
			`bootloader_read_kernel_modules(depmod_t)`

renaming insanity 2005-06-10 01:01:13 +00:00			`fs_getattr_xattr_fs(depmod_t)`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
renaming insanity 2005-06-10 01:01:13 +00:00			`term_use_console(depmod_t)`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
add fstools, and more cleanup 2005-06-27 20:59:28 +00:00			`corecmd_search_bin(depmod_t)`
			`corecmd_search_sbin(depmod_t)`

			`domain_use_wide_inherit_fd(depmod_t)`

renaming insanity 2005-06-13 17:35:46 +00:00			`init_use_fd(depmod_t)`
			`init_use_script_fd(depmod_t)`
			`init_use_script_pty(depmod_t)`
more conversion due to new interfaces 2005-05-03 20:44:35 +00:00
renaming insanity 2005-06-13 17:35:46 +00:00			`files_read_etc_runtime_files(depmod_t)`
another round of renaming, for consistency 2005-06-29 14:26:41 +00:00			`files_read_etc_files(depmod_t)`
			`files_read_usr_src_files(depmod_t)`
fixes from sediff 2005-09-22 21:59:50 +00:00			`files_list_usr(depmod_t)`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
renaming insanity 2005-06-13 17:35:46 +00:00			`libs_use_ld_so(depmod_t)`
			`libs_use_shared_libs(depmod_t)`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
more work on current modules 2005-06-30 18:54:08 +00:00			`# Read System.map from home directories.`
			`files_list_home(depmod_t)`
			`userdom_read_staff_home_files(depmod_t)`
			`userdom_read_sysadm_home_files(depmod_t)`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
tty and caps fixes 2005-11-01 15:34:00 +00:00			ifdef(`targeted_policy', `
			`term_use_unallocated_tty(depmod_t)`
			`term_use_generic_pty(depmod_t)`
			`')`

Change optional_policy() to refer to the module name rather than modulename.te. 2005-11-23 20:24:27 +00:00			optional_policy(`rpm',`
more cleanup of current TODOs 2005-07-12 20:34:24 +00:00			`rpm_rw_pipe(depmod_t)`
			`')`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
more work on current modules 2005-06-30 18:54:08 +00:00			ifdef(`TODO',`
			ifdef(`gnome-pty-helper.te', `allow depmod_t sysadm_gph_t:fd use;')
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00			`') dnl end ifdef TODO`

more fix 2005-10-24 18:40:24 +00:00			`allow depmod_t modules_object_t:file unlink;`

more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00			`#################################`
			`#`
			`# update-modules local policy`
			`#`

aliases 2005-06-09 14:26:05 +00:00			`allow update_modules_t self:fifo_file rw_file_perms;`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
aliases 2005-06-09 14:26:05 +00:00			`allow update_modules_t modules_dep_t:file rw_file_perms;`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
aliases 2005-06-09 14:26:05 +00:00			`can_exec(update_modules_t, insmod_exec_t)`
			`can_exec(update_modules_t, update_modules_exec_t)`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
more conversion due to new interfaces 2005-05-03 20:44:35 +00:00			`# manage module loading configuration`
aliases 2005-06-09 14:26:05 +00:00			`allow update_modules_t modules_conf_t:file create_file_perms;`
rename create verb to filetrans for type transitioning ifs 2006-01-13 21:06:49 +00:00			`bootloader_filetrans_modules(update_modules_t,modules_conf_t)`
			`files_filetrans_etc(update_modules_t,modules_conf_t)`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
more conversion due to new interfaces 2005-05-03 20:44:35 +00:00			`# transition to depmod`
aliases 2005-06-09 14:26:05 +00:00			`domain_auto_trans(update_modules_t, depmod_exec_t, depmod_t)`
easy fixes 2005-10-25 19:03:15 +00:00			`allow update_modules_t depmod_t:fd use;`
			`allow depmod_t update_modules_t:fd use;`
			`allow depmod_t update_modules_t:fifo_file rw_file_perms;`
			`allow depmod_t update_modules_t:process sigchld;`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
aliases 2005-06-09 14:26:05 +00:00			`allow update_modules_t update_modules_tmp_t:dir create_dir_perms;`
			`allow update_modules_t update_modules_tmp_t:file create_file_perms;`
rename create verb to filetrans for type transitioning ifs 2006-01-13 21:06:49 +00:00			`files_filetrans_tmp(update_modules_t, update_modules_tmp_t, { file dir })`
fix tmp_domain 2005-04-25 21:44:48 +00:00
renaming from 20060131 interface review, round 2 2006-01-31 16:49:43 +00:00			`kernel_read_kernel_sysctls(update_modules_t)`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00			`kernel_read_system_state(update_modules_t)`

Devices rename. 2005-06-13 16:22:32 +00:00			`dev_read_urand(update_modules_t)`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
renaming insanity 2005-06-10 01:01:13 +00:00			`fs_getattr_xattr_fs(update_modules_t)`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
renaming insanity 2005-06-10 01:01:13 +00:00			`term_use_console(update_modules_t)`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
easy fixes 2005-10-25 19:03:15 +00:00			`init_use_fd(update_modules_t)`
			`init_use_script_fd(update_modules_t)`
			`init_use_script_pty(update_modules_t)`
more conversion due to new interfaces 2005-05-03 20:44:35 +00:00
easy fixes 2005-10-25 19:03:15 +00:00			`domain_use_wide_inherit_fd(update_modules_t)`
more conversion due to new interfaces 2005-05-03 20:44:35 +00:00
renaming insanity 2005-06-13 17:35:46 +00:00			`files_read_etc_runtime_files(update_modules_t)`
another round of renaming, for consistency 2005-06-29 14:26:41 +00:00			`files_read_etc_files(update_modules_t)`
			`files_exec_etc_files(update_modules_t)`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
renaming insanity 2005-06-13 17:35:46 +00:00			`corecmd_exec_bin(update_modules_t)`
			`corecmd_exec_sbin(update_modules_t)`
			`corecmd_exec_shell(update_modules_t)`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
renaming insanity 2005-06-13 17:35:46 +00:00			`libs_use_ld_so(update_modules_t)`
			`libs_use_shared_libs(update_modules_t)`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
renaming insanity 2005-06-13 17:35:46 +00:00			`logging_send_syslog_msg(update_modules_t)`
more insmod work, bring in depmod and update_modules 2005-04-20 21:00:01 +00:00
			`miscfiles_read_localization(update_modules_t)`

fix more TODOs. fix selinux.te to selinuxutil.te in optionals 2005-07-11 19:02:50 +00:00			`userdom_dontaudit_search_sysadm_home_dir(update_modules_t)`
sediff fixes 2005-10-27 14:52:37 +00:00
			ifdef(`targeted_policy',`
			`term_use_generic_pty(update_modules_t)`
			`term_use_unallocated_tty(update_modules_t)`
			`')`