1type tombstone_transmit, domain, coredomain; 2type tombstone_transmit_exec, exec_type, system_file_type, file_type; 3 4init_daemon_domain(tombstone_transmit); 5 6product_internal_prop(vsock_tombstone_port_prop) 7get_prop(tombstone_transmit, vsock_tombstone_port_prop) 8 9allow tombstone_transmit self:capability net_admin; 10r_dir_file(tombstone_transmit, tombstone_data_file) 11 12allow tombstone_transmit self:{ vsock_socket } create_socket_perms_no_ioctl; 13