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