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