diff --git a/public/shell.te b/public/shell.te
index fb650bf92831be9c109b844abda8cf737cfe2a71..44d81213049ff83c79c158aaaab042be9d8f4c0c 100644
--- a/public/shell.te
+++ b/public/shell.te
@@ -106,12 +106,13 @@ allow shell dumpstate:binder call;
 hwbinder_use(shell)
 allow shell hwservicemanager:hwservice_manager list;
 
-# allow shell to look through /proc/ for ps, top, netstat
+# allow shell to look through /proc/ for lsmod, ps, top, netstat.
 r_dir_file(shell, proc)
 r_dir_file(shell, proc_net)
 allow shell proc_filesystems:file r_file_perms;
 allow shell proc_interrupts:file r_file_perms;
 allow shell proc_meminfo:file r_file_perms;
+allow shell proc_modules:file r_file_perms;
 allow shell proc_stat:file r_file_perms;
 allow shell proc_timer:file r_file_perms;
 allow shell proc_zoneinfo:file r_file_perms;