diff options
author | Keith Mok <kmok@cyngn.com> | 2015-12-15 14:33:39 -0800 |
---|---|---|
committer | Ethan Chen <intervigil@gmail.com> | 2015-12-16 10:41:51 -0800 |
commit | 6bc84be5253fc553aacbef547d68def950e86474 (patch) | |
tree | 8c88c513bf47782d7f041902d667ae844d6f1c79 /sepolicy | |
parent | fcfc13ac6f2893ac055a58459aeb704b2500607c (diff) | |
download | vendor_replicant-6bc84be5253fc553aacbef547d68def950e86474.zip vendor_replicant-6bc84be5253fc553aacbef547d68def950e86474.tar.gz vendor_replicant-6bc84be5253fc553aacbef547d68def950e86474.tar.bz2 |
sepolicy: Add permission for formatting user/cache partition
If the "formattable" fstab flag is set, init will tries
to format that partition, added the required policy to allow it.
Change-Id: I858b06aa3ff3ce775cf7676b09b9960f2558f7f6
Diffstat (limited to 'sepolicy')
-rw-r--r-- | sepolicy/init.te | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/sepolicy/init.te b/sepolicy/init.te new file mode 100644 index 0000000..447c720 --- /dev/null +++ b/sepolicy/init.te @@ -0,0 +1,4 @@ +# Allow formatting userdata or cache partitions +allow init block_device:dir search; +allow init userdata_block_device:blk_file rw_file_perms; +allow init cache_block_device:blk_file rw_file_perms; |