2012-08-13 12:09:39 +02:00
|
|
|
##
|
|
|
|
# trusted execution environment (tee) daemon
|
|
|
|
#
|
|
|
|
type tee, domain;
|
|
|
|
type tee_exec, exec_type, file_type;
|
|
|
|
type tee_device, dev_type;
|
|
|
|
type tee_data_file, file_type, data_file_type;
|
|
|
|
|
2013-05-18 02:11:29 +02:00
|
|
|
permissive tee;
|
2013-05-22 22:19:58 +02:00
|
|
|
unconfined_domain(tee)
|
2012-08-13 12:09:39 +02:00
|
|
|
init_daemon_domain(tee)
|