# gpm
/dev/gpmctl		-s	system_u:object_r:gpmctl_t:s0
/dev/gpmdata		-p	system_u:object_r:gpmctl_t:s0
/usr/sbin/gpm		--	system_u:object_r:gpm_exec_t:s0
/etc/gpm(/.*)?			system_u:object_r:gpm_conf_t:s0