commit | 65edd48fe431302ccd1984de4fdf8e1c9e489202 | [log] [tgz] |
---|---|---|
author | Martijn Coenen <maco@google.com> | Thu Feb 20 18:03:31 2020 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu Feb 20 18:03:31 2020 +0000 |
tree | 83af62f3c542f694bdd5d1dd944593a4993f60a1 | |
parent | 622e4f761b1eaa8469249029a589c21c74e623e4 [diff] | |
parent | 080a57abf3c1cc5b7aac36bc99aa0c0b3f62a30b [diff] |
Merge "Allow installd to read /proc/filesystems."
diff --git a/public/installd.te b/public/installd.te index a6307ef..c8cc89d 100644 --- a/public/installd.te +++ b/public/installd.te
@@ -172,6 +172,9 @@ allow installd preloads_media_file:file { r_file_perms unlink }; allow installd preloads_media_file:dir { r_dir_perms write remove_name rmdir }; +# Allow installd to read /proc/filesystems +allow installd proc_filesystems:file r_file_perms; + ### ### Neverallow rules ###