1type hal_rebootescrow_citadel, domain;
2type hal_rebootescrow_citadel_exec, exec_type, vendor_file_type, file_type;
3
4hal_server_domain(hal_rebootescrow_citadel, hal_rebootescrow)
5
6vndbinder_use(hal_rebootescrow_citadel)
7binder_call(hal_rebootescrow_citadel, citadeld)
8allow hal_rebootescrow_citadel citadeld_service:service_manager find;
9
10hal_client_domain(hal_rebootescrow_citadel, hal_keymaster)
11
12init_daemon_domain(hal_rebootescrow_citadel)
13
14allow hal_rebootescrow_citadel hal_rebootescrow_citadel_data_file:dir create_dir_perms;
15allow hal_rebootescrow_citadel hal_rebootescrow_citadel_data_file:file create_file_perms;
16