diff --git a/public/shell.te b/public/shell.te
index 44d81213049ff83c79c158aaaab042be9d8f4c0c..3ef14866c9f057d08dc931434d3642b7d3bc4df5 100644
--- a/public/shell.te
+++ b/public/shell.te
@@ -115,6 +115,7 @@ 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_version:file r_file_perms;
 allow shell proc_zoneinfo:file r_file_perms;
 r_dir_file(shell, cgroup)
 allow shell domain:dir { search open read getattr };