type tombstone_transmit, domain, coredomain;
type tombstone_transmit_exec, exec_type, file_type;

init_daemon_domain(tombstone_transmit);

type vsock_tombstone_port_prop, property_type;
get_prop(tombstone_transmit, vsock_tombstone_port_prop)

allow tombstone_transmit self:capability net_admin;
r_dir_file(tombstone_transmit, tombstone_data_file)

allow tombstone_transmit self:{ vsock_socket } create_socket_perms_no_ioctl;