type hal_rebootescrow_citadel, domain;
type hal_rebootescrow_citadel_exec, exec_type, vendor_file_type, file_type;

hal_server_domain(hal_rebootescrow_citadel, hal_rebootescrow)

vndbinder_use(hal_rebootescrow_citadel)
binder_call(hal_rebootescrow_citadel, citadeld)
allow hal_rebootescrow_citadel citadeld_service:service_manager find;

hal_client_domain(hal_rebootescrow_citadel, hal_keymaster)

init_daemon_domain(hal_rebootescrow_citadel)

allow hal_rebootescrow_citadel hal_rebootescrow_citadel_data_file:dir create_dir_perms;
allow hal_rebootescrow_citadel hal_rebootescrow_citadel_data_file:file create_file_perms;