Merge "neverallow shell access to 'device' type"
am: 536d195469

Change-Id: Icb5b0f78d2c59b49f2160bed76323595ca630920
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;