| type hal_wifi_ext, domain; | |
| hal_server_domain(hal_wifi_ext, hal_wifi) | |
| type hal_wifi_ext_exec, exec_type, vendor_file_type, file_type; | |
| init_daemon_domain(hal_wifi_ext) | |
| # Allow to start the IWifi:wifi_ext service | |
| add_hwservice(hal_wifi_ext, hal_wifi_ext_hwservice); |