| # evs manager | |
| type evs_manager, domain, coredomain; | |
| hal_server_domain(evs_manager, hal_evs) | |
| hal_client_domain(evs_manager, hal_evs) | |
| # allow init to launch processes in this context | |
| type evs_manager_exec, exec_type, file_type; | |
| init_daemon_domain(evs_manager) |