1# 2# ot_rcp is the simulated Thread Radio Coprocessor device which is used by 3# Thread Network HAL for simulating the Thread radio chip. 4# 5type ot_rcp, domain; 6type ot_rcp_exec, exec_type, vendor_file_type, file_type; 7 8domain_auto_trans(hal_threadnetwork_default, ot_rcp_exec, ot_rcp) 9allow hal_threadnetwork_default devpts:chr_file {open read write ioctl}; 10allow hal_threadnetwork_default ot_rcp:process signal; 11allow ot_rcp hal_threadnetwork_default:fd use; 12allow ot_rcp hal_threadnetwork_default:fifo_file rw_file_perms; 13allow ot_rcp devpts:chr_file {read write ioctl}; 14allow ot_rcp self:udp_socket { bind create ioctl read setopt write }; 15allow ot_rcp node:udp_socket node_bind; 16allow ot_rcp port:udp_socket name_bind; 17allow ot_rcp self:netlink_route_socket { nlmsg_read nlmsg_readpriv create read write }; 18