/etc/modules\.conf.*	--	gen_context(system_u:object_r:modules_conf_t,s0)
/etc/modprobe\.conf.*	--	gen_context(system_u:object_r:modules_conf_t,s0)

ifdef(`distro_gentoo',`
# gentoo init scripts still manage this file
# even if devfs is off
/etc/modprobe.devfs.*	--	gen_context(system_u:object_r:modules_conf_t,s0)
')

/lib/modules/[^/]+/modules\..+ -- gen_context(system_u:object_r:modules_dep_t,s0)
/lib64/modules/[^/]+/modules\..+ -- gen_context(system_u:object_r:modules_dep_t,s0)

/lib/modules/modprobe\.conf -- gen_context(system_u:object_r:modules_conf_t,s0)
/lib64/modules/modprobe\.conf -- gen_context(system_u:object_r:modules_conf_t,s0)

/sbin/depmod.*		--	gen_context(system_u:object_r:depmod_exec_t,s0)
/sbin/generate-modprobe\.conf -- gen_context(system_u:object_r:update_modules_exec_t,s0)
/sbin/insmod.*		--	gen_context(system_u:object_r:insmod_exec_t,s0)
/sbin/modprobe.*	--	gen_context(system_u:object_r:insmod_exec_t,s0)
/sbin/modules-update	--	gen_context(system_u:object_r:update_modules_exec_t,s0)
/sbin/rmmod.*		--	gen_context(system_u:object_r:insmod_exec_t,s0)
/sbin/update-modules	--	gen_context(system_u:object_r:update_modules_exec_t,s0)