1type hal_light_cuttlefish, domain; 2hal_server_domain(hal_light_cuttlefish, hal_light) 3 4type hal_light_cuttlefish_exec, exec_type, vendor_file_type, file_type; 5init_daemon_domain(hal_light_cuttlefish) 6 7starting_at_board_api(202504, ` 8typeattribute hal_light_cuttlefish unconstrained_vsock_violators; 9') 10allow hal_light_cuttlefish self:{ socket vsock_socket } { create_socket_perms_no_ioctl listen accept }; 11