Add policy for __properties__ device.
Change-Id: Ie9b391283362fb6930f1ae858f0a879835c91e32
This commit is contained in:
parent
7c8e6d4a96
commit
c529c66f2c
3 changed files with 3 additions and 0 deletions
|
@ -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
|
||||
|
|
|
@ -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;
|
||||
|
|
|
@ -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
|
||||
#
|
||||
|
|
Loading…
Reference in a new issue