1type hal_wifi_ext, domain; 2hal_server_domain(hal_wifi_ext, hal_wifi) 3 4type hal_wifi_ext_exec, exec_type, vendor_file_type, file_type; 5init_daemon_domain(hal_wifi_ext) 6 7# Allow to start the IWifi:wifi_ext service 8add_hwservice(hal_wifi_ext, hal_wifi_ext_hwservice); 9 10# Allow to set up bridged interface 11allowxperm hal_wifi_ext self:udp_socket ioctl { SIOCBRADDBR SIOCBRDELBR SIOCBRADDIF SIOCBRDELIF}; 12