2012-08-13 12:09:39 +02:00
|
|
|
##
|
|
|
|
# trusted execution environment (tee) daemon
|
|
|
|
#
|
2015-11-03 18:54:39 +01:00
|
|
|
type tee, domain, domain_deprecated;
|
2012-08-13 12:09:39 +02:00
|
|
|
type tee_exec, exec_type, file_type;
|
|
|
|
type tee_device, dev_type;
|
|
|
|
type tee_data_file, file_type, data_file_type;
|
|
|
|
|
2013-10-29 19:42:40 +01:00
|
|
|
allow tee self:capability { dac_override };
|
|
|
|
allow tee tee_device:chr_file rw_file_perms;
|
|
|
|
allow tee tee_data_file:dir rw_dir_perms;
|
|
|
|
allow tee tee_data_file:file create_file_perms;
|
2016-05-17 06:12:17 +02:00
|
|
|
allow tee self:netlink_socket create_socket_perms_no_ioctl;
|
|
|
|
allow tee self:netlink_generic_socket create_socket_perms_no_ioctl;
|
2016-09-10 01:27:17 +02:00
|
|
|
allow tee ion_device:chr_file r_file_perms;
|
|
|
|
r_dir_file(tee, sysfs_type)
|
|
|
|
allow tee system_data_file:file { getattr read };
|
|
|
|
allow tee system_data_file:lnk_file r_file_perms;
|