type hal_weaver_citadel, domain; type hal_weaver_citadel_exec, exec_type, vendor_file_type, file_type; init_daemon_domain(hal_weaver_citadel) hal_server_domain(hal_weaver_citadel, hal_weaver) hal_server_domain(hal_weaver_citadel, hal_oemlock) hal_server_domain(hal_weaver_citadel, hal_authsecret) allow hal_weaver_citadel citadeld_service:service_manager find;