commit 51df227dec139aafd454449ca8e379ea8216bcee
author Riley Andrews <riandrews@google.com> Tue Jun 17 14:30:14 2014 -0700
committer Riley Andrews <riandrews@google.com> Mon Jun 23 20:55:34 2014 +0000
tree abcf7d5dab5638ce8b6115a4880bbfd9cd14fd3f
parent 04b8a75c2f7532821a2a098a95d884931a91807c

Give healthd permission to write sys properties to allow quick boot from charger mode.

Property being set: sys.boot_from_charger_mode. If healthd attempts to write
this property without the policy changes we get the following audit message:

[   45.751195] type=1400 audit(1403556447.444:7): avc:  denied  { write } for pid=99 comm="charger" name="property_service" dev="tmpfs" ino=3229 scontext=u:r:healthd:s0 tcontext=u:object_r:property_socket:s0 tclass=sock_file permissive=0

These changes are needed to support the following system/core commit:
faster booting from charger mode
* Ieec4494d929e92806e039f834d78b9002afd15c4

Change-Id: I9f198cd73c7b2f1e372c3793dc2b8d5ef26b3a0f

healthd.te

diff --git a/healthd.te b/healthd.te
index 08472cc..9832ac4 100644
--- a/healthd.te
+++ b/healthd.te
@@ -32,5 +32,9 @@
 allow healthd self:process execmem;
 allow healthd proc_sysrq:file rw_file_perms;
 allow healthd self:capability sys_boot;
-
 allow healthd healthd_service:service_manager add;
+
+# Healthd needs to tell init to continue the boot
+# process when running in charger mode.
+unix_socket_connect(healthd, property, init)
+allow healthd system_prop:property_service set;