| commit | 536d1954695fa01cc63862c9ead4bb6947150aad | [log] [tgz] |
|---|---|---|
| author | Treehugger Robot <treehugger-gerrit@google.com> | Fri Jan 19 05:20:30 2018 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Fri Jan 19 05:20:30 2018 +0000 |
| tree | 63fa496d649b296f7deecaa38df092057eca22b5 | |
| parent | 5d5284ad93b42d012f4a5431e77d41125edb81da [diff] | |
| parent | 5dab9134411e7e757d6559f1dbb47726ed19cf27 [diff] |
Merge "neverallow shell access to 'device' type"
diff --git a/private/domain.te b/private/domain.te index c022564..6fef279 100644 --- a/private/domain.te +++ b/private/domain.te
@@ -49,7 +49,6 @@ coredomain -fsck -init - -shell -ueventd -vendor_init } device:{ blk_file file } no_rw_file_perms;