2012-08-13 12:09:39 +02:00
|
|
|
##
|
|
|
|
# trusted execution environment (tee) daemon
|
|
|
|
#
|
2017-04-03 20:05:45 +02:00
|
|
|
type tee, domain;
|
2017-03-29 06:59:24 +02:00
|
|
|
|
2017-04-03 20:05:45 +02:00
|
|
|
# Device(s) for communicating with the TEE
|
|
|
|
type tee_device, dev_type;
|
2018-01-22 22:24:10 +01:00
|
|
|
|
2018-11-19 19:42:11 +01:00
|
|
|
allow tee fingerprint_vendor_data_file:dir rw_dir_perms;
|
|
|
|
allow tee fingerprint_vendor_data_file:file create_file_perms;
|
2018-01-22 22:24:10 +01:00
|
|
|
|