| commit | 42d7cab5d1c2f59eb99f486c007c4d4446f4b769 | [log] [tgz] |
|---|---|---|
| author | Yabin Cui <yabinc@google.com> | Thu Apr 08 17:49:15 2021 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu Apr 08 17:49:15 2021 +0000 |
| tree | f42e6cf136f930008b0b00aee9ba4924f1584917 | |
| parent | f07dc5fe965fdd3e47f157d4e9bebea55bb6bed3 [diff] | |
| parent | ad3d84adc235f552779a4fa74f96bccae3f1c42c [diff] |
Merge "Move vendor_kernel_modules to public."
diff --git a/flipendo/flipendo.te b/flipendo/flipendo.te index cdcffb2..532ee4b 100644 --- a/flipendo/flipendo.te +++ b/flipendo/flipendo.te
@@ -5,6 +5,8 @@ # Access to Westworld logging service allow flipendo fwk_stats_hwservice:hwservice_manager find; binder_call(flipendo, stats_service_server) +allow flipendo fwk_stats_service:service_manager find; +binder_use(flipendo) binder_call(flipendo, gpuservice)