diff --git a/private/domain.te b/private/domain.te
index c0225643cdb27f175263326787bb5ce6582fbe6f..6fef2797536d7f00ac58cb33162bd35bc01240ea 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;