commit 26d589a378a11040e6d3ad2a473f739af7b97f65
author Yi Jin <jinyithu@google.com> Wed Jun 27 17:15:48 2018 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Wed Jun 27 17:15:48 2018 +0000
tree 0a5eaa6b0a614a82c7641c49de51cf20e80ff825
parent bbb439e76a278a9e31c95151303d7ffe69812bb6
parent 880de35b41ea69f50988690070d4084c034b4e87

Merge "Allow incidentd to read kernel version"

private/incidentd.te

diff --git a/private/incidentd.te b/private/incidentd.te
index 6fab126..4456e39 100644
--- a/private/incidentd.te
+++ b/private/incidentd.te
@@ -19,6 +19,9 @@
 allow incidentd system_file:file execute_no_trans;
 allow incidentd toolbox_exec:file rx_file_perms;
 
+# section id 1002, allow reading kernel version /proc/version
+allow incidentd proc_version:file r_file_perms;
+
 # section id 2001, allow reading /proc/pagetypeinfo
 allow incidentd proc_pagetypeinfo:file r_file_perms;