diff --git a/shell.te b/shell.te
index 1f370d1e1d743195e9e920076c706b5c87ad08f8..5b4d843e21b045e686571290edb29fa2db3c0336 100644
--- a/shell.te
+++ b/shell.te
@@ -19,12 +19,6 @@ allow shell sdcard:file create_file_perms;
 r_dir_file(shell, apk_data_file)
 allow shell dalvikcache_data_file:file write;
 
-# Run dmesg.
-allow shell kernel:system syslog_read;
-
-# Run cat /proc/kmsg.
-allow shell kernel:system syslog_mod;
-
 # Run logcat.
 allow shell log_device:chr_file r_file_perms;