diff --git a/public/tombstoned.te b/public/tombstoned.te index 840c026c6b7ae161eb1faddea0e599d33c656893..37243bb6661071f14915d9d47475399b232f5bc0 100644 --- a/public/tombstoned.te +++ b/public/tombstoned.te @@ -11,3 +11,7 @@ allow tombstoned domain:file r_file_perms; allow tombstoned tombstone_data_file:dir rw_dir_perms; allow tombstoned tombstone_data_file:file create_file_perms; allow tombstoned anr_data_file:file { getattr append }; + +# TODO: Find out why this is happening. +allow tombstoned anr_data_file:file write; +auditallow tombstoned anr_data_file:file write;