# Copyright (C) 2005 Tresys Technology, LLC

/etc/modules\.conf.*	--	system_u:object_r:modules_conf_t
/etc/modprobe\.conf.*	--	system_u:object_r:modules_conf_t

/lib(64)?/modules/[^/]+/modules\..+ -- system_u:object_r:modules_dep_t

/lib(64)?/modules/modprobe\.conf -- system_u:object_r:modules_conf_t

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