commit 507304c20be8805286dc66d7381c141408c8e3a3
author Robert Craig <rpcraig@tycho.ncsc.mil> Tue Apr 02 09:49:14 2013 -0400
committer repo sync <gcondra@google.com> Fri Apr 05 13:06:55 2013 -0700
tree 098aaaa17fd69cc4ad31d1993f1142aa080903df
parent b86d472fe3946325e98ed0de3cb0846ec975ffd7

Remove unneeded device type.

timerirq_device has been removed in favor
of using the existing sensors_device domain.

Change-Id: I503e4a511c2901890356559c0afb971392b4ec6f
Signed-off-by: rpcraig <rpcraig@tycho.ncsc.mil>

device.te

diff --git a/device.te b/device.te
index eb416d9..f351c44 100644
--- a/device.te
+++ b/device.te
@@ -33,7 +33,6 @@
 type sensors_device, dev_type;
 type serial_device, dev_type;
 type socket_device, dev_type;
-type timerirq_device, dev_type;
 type tty_device, dev_type;
 type urandom_device, dev_type;
 type video_device, dev_type;

system.te

diff --git a/system.te b/system.te
index 451eb63..b1adf65 100644
--- a/system.te
+++ b/system.te
@@ -230,5 +230,5 @@
 allow system usb_device:chr_file rw_file_perms;
 allow system usb_device:dir r_dir_perms;
 
-# Allow system to talk to sensors and timer irq
-allow system { sensors_device timerirq_device }:chr_file rw_file_perms;
+# Allow system to talk to sensors
+allow system sensors_device:chr_file rw_file_perms;