diff --git a/public/kernel.te b/public/kernel.te
index 64111b0fa889db57ce67de3f75bdf5fc89c2f915..74c77a961f705fbbf7026fa1738e97a38fcdfd3a 100644
--- a/public/kernel.te
+++ b/public/kernel.te
@@ -5,7 +5,6 @@ allow kernel self:capability sys_nice;
 
 # Root fs.
 r_dir_file(kernel, rootfs)
-r_dir_file(kernel, proc)
 allow kernel proc_cmdline:file r_file_perms;
 
 # Get SELinux enforcing status.