| typeattribute tombstoned coredomain; | |
| init_daemon_domain(tombstoned) | |
| # Write to arbitrary pipes given to us. | |
| allow tombstoned domain:fd use; | |
| allow tombstoned domain:fifo_file write; | |
| allow tombstoned domain:dir r_dir_perms; | |
| 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 link }; |