diff --git a/public/shell.te b/public/shell.te index 4ac66381590353bbf502c424d8a43d8d061632cc..fb650bf92831be9c109b844abda8cf737cfe2a71 100644 --- a/public/shell.te +++ b/public/shell.te @@ -109,6 +109,7 @@ allow shell hwservicemanager:hwservice_manager list; # allow shell to look through /proc/ for 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_stat:file r_file_perms;