Skip to content
Snippets Groups Projects
Commit 84c46de5 authored by Robert Craig's avatar Robert Craig
Browse files

Remove unneeded device type.


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

Change-Id: I503e4a511c2901890356559c0afb971392b4ec6f
Signed-off-by: default avatarrpcraig <rpcraig@tycho.ncsc.mil>
parent e543a8bc
No related branches found
No related tags found
No related merge requests found
......@@ -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;
......
......@@ -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;
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment