From 84c46de5251bbf567740d065c833cd3a3662e4f5 Mon Sep 17 00:00:00 2001
From: Robert Craig <rpcraig@tycho.ncsc.mil>
Date: Tue, 2 Apr 2013 09:49:14 -0400
Subject: [PATCH] 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 | 1 -
system.te | 4 ++--
2 files changed, 2 insertions(+), 3 deletions(-)
diff --git a/device.te b/device.te
index 2aeeb16d0..344027f8a 100644
--- a/device.te
+++ b/device.te
@@ -33,7 +33,6 @@ type random_device, dev_type;
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;
diff --git a/system.te b/system.te
index 503bd3c71..2c3449f69 100644
--- a/system.te
+++ b/system.te
@@ -229,5 +229,5 @@ allow system cache_backup_file:dir { relabelto relabelfrom create_dir_perms };
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;
--
GitLab