From a10bfd881ebeaf96060a57258cd7a2020780fc89 Mon Sep 17 00:00:00 2001
From: Nick Kralevich <nnk@google.com>
Date: Thu, 18 Sep 2014 11:01:14 -0700
Subject: [PATCH] Remove /dev/log/* access

The kernel driver has been deprecated by the new userspace
driver. Don't continue to allow access to the old driver.

Maintain the labeling on /dev/log/* for now, just in case.

Bug: 13505761
Change-Id: Ibf8ef3af6274ede4262aada9222eaf63f63307b4
---
 domain.te | 2 --
 1 file changed, 2 deletions(-)

diff --git a/domain.te b/domain.te
index 936bca5fa..e80a1d957 100644
--- a/domain.te
+++ b/domain.te
@@ -84,8 +84,6 @@ allow domain zero_device:chr_file rw_file_perms;
 allow domain ashmem_device:chr_file rw_file_perms;
 allow domain binder_device:chr_file rw_file_perms;
 allow domain ptmx_device:chr_file rw_file_perms;
-allow domain log_device:dir search;
-allow domain log_device:chr_file rw_file_perms;
 allow domain alarm_device:chr_file r_file_perms;
 allow domain urandom_device:chr_file rw_file_perms;
 allow domain random_device:chr_file rw_file_perms;
-- 
GitLab