1type edgetpu_logging, domain;
2type edgetpu_logging_exec, exec_type, vendor_file_type, file_type;
3init_daemon_domain(edgetpu_logging)
4
5# The logging service accesses /dev/<edgetpu device>
6allow edgetpu_logging edgetpu_device:chr_file rw_file_perms;
7
8# Allows the logging service to access /sys/class/edgetpu
9allow edgetpu_logging sysfs_edgetpu:dir search;
10allow edgetpu_logging sysfs_edgetpu:file rw_file_perms;
11
12# Allow TPU logging service to log to stats service. (metrics)
13allow edgetpu_logging fwk_stats_service:service_manager find;
14binder_call(edgetpu_logging, system_server);
15binder_use(edgetpu_logging)
16