From c0dc6680178fe6b0c08b78d9cbf376d6bf9a0870 Mon Sep 17 00:00:00 2001
From: Geremy Condra <gcondra@google.com>
Date: Thu, 28 Feb 2013 17:33:16 -0800
Subject: [PATCH] Add policy for __properties__ device.

Change-Id: Ie9b391283362fb6930f1ae858f0a879835c91e32
---
 device.te     | 1 +
 domain.te     | 1 +
 file_contexts | 1 +
 3 files changed, 3 insertions(+)

diff --git a/device.te b/device.te
index 2aeeb16d0..eb416d969 100644
--- a/device.te
+++ b/device.te
@@ -49,6 +49,7 @@ type uhid_device, dev_type;
 type tun_device, dev_type, mlstrustedobject;
 type usbaccessory_device, dev_type;
 type usb_device, dev_type;
+type properties_device, dev_type;
 
 # All devices have a uart for the hci
 # attach service. The uart dev node
diff --git a/domain.te b/domain.te
index 596cd428e..a00594323 100644
--- a/domain.te
+++ b/domain.te
@@ -55,6 +55,7 @@ allow domain nv_device:chr_file rw_file_perms;
 allow domain alarm_device:chr_file r_file_perms;
 allow domain urandom_device:chr_file r_file_perms;
 allow domain random_device:chr_file r_file_perms;
+allow domain properties_device:file r_file_perms;
 
 # Filesystem accesses.
 allow domain fs_type:filesystem getattr;
diff --git a/file_contexts b/file_contexts
index 7785f4e7c..26a1863dc 100644
--- a/file_contexts
+++ b/file_contexts
@@ -113,6 +113,7 @@
 /dev/watchdog		u:object_r:watchdog_device:s0
 /dev/xt_qtaguid	u:object_r:qtaguid_device:s0
 /dev/zero		u:object_r:zero_device:s0
+/dev/__properties__ u:object_r:properties_device:s0
 #############################
 # System files
 #
-- 
GitLab