| commit | 731e104acc543e94f17e0842f1fb4816f7d744fa | [log] [tgz] |
|---|---|---|
| author | David Anderson <dvander@google.com> | Wed Mar 06 02:40:03 2019 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Mar 06 02:40:03 2019 +0000 |
| tree | 114eae5871f55df55538303872769042a37e63fc | |
| parent | 87404650345ac4fe99ba445d36e58bac55749edb [diff] | |
| parent | 8c9f1e41198f34ebb97ea590292103d5cc2af28a [diff] |
Merge "Allow gatekeeperd to read ro.gsid.image_running."
diff --git a/public/gatekeeperd.te b/public/gatekeeperd.te index e1739c2..dc46d07 100644 --- a/public/gatekeeperd.te +++ b/public/gatekeeperd.te
@@ -35,4 +35,7 @@ # For hardware properties retrieval allow gatekeeperd hardware_properties_service:service_manager find; +# For checking whether GSI is running +get_prop(gatekeeperd, gsid_prop) + r_dir_file(gatekeeperd, cgroup)