diff --git a/private/domain.te b/private/domain.te
index c0225643c..6fef27975 100644
--- a/private/domain.te
+++ b/private/domain.te
@@ -49,7 +49,6 @@ full_treble_only(`
     coredomain
     -fsck
     -init
-    -shell
     -ueventd
     -vendor_init
   } device:{ blk_file file } no_rw_file_perms;