| type hal_rebootescrow_citadel, domain; |
| type hal_rebootescrow_citadel_exec, exec_type, vendor_file_type, file_type; |
| type hal_rebootescrow_citadel_data_file, file_type, data_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; |
| |
