1type init_citadel, domain;
2type init_citadel_exec, exec_type, vendor_file_type, file_type;
3type citadel_updater_exec, exec_type, vendor_file_type, file_type;
4
5init_daemon_domain(init_citadel)
6
7# Citadel communication must be via citadeld
8vndbinder_use(init_citadel)
9binder_call(init_citadel, citadeld)
10allow init_citadel citadeld_service:service_manager find;
11
12# Many standard utils are actually vendor_toolbox (like xxd)
13allow init_citadel vendor_toolbox_exec:file rx_file_perms;
14
15# init_citadel needs to invoke citadel_updater
16allow init_citadel citadel_updater_exec:file rx_file_perms;
17allow init_citadel citadel_device:chr_file rw_file_perms;
18