| Kenny Root | 6522991 | 2020-06-09 11:43:38 -0700 | [diff] [blame] | 1 | type init_citadel, domain; | 
|  | 2 | type init_citadel_exec, exec_type, vendor_file_type, file_type; | 
|  | 3 | type citadel_updater_exec, exec_type, vendor_file_type, file_type; | 
|  | 4 |  | 
|  | 5 | init_daemon_domain(init_citadel) | 
|  | 6 |  | 
|  | 7 | # Citadel communication must be via citadeld | 
|  | 8 | vndbinder_use(init_citadel) | 
|  | 9 | binder_call(init_citadel, citadeld) | 
|  | 10 | allow init_citadel citadeld_service:service_manager find; | 
|  | 11 |  | 
|  | 12 | # Many standard utils are actually vendor_toolbox (like xxd) | 
|  | 13 | allow init_citadel vendor_toolbox_exec:file rx_file_perms; | 
|  | 14 |  | 
|  | 15 | # init_citadel needs to invoke citadel_updater | 
|  | 16 | allow init_citadel citadel_updater_exec:file rx_file_perms; | 
|  | 17 | allow init_citadel citadel_device:chr_file rw_file_perms; |