| # A wrapper program that configures the process and executes a command. |
| type art_exec, domain, coredomain; |
| type art_exec_exec, system_file_type, exec_type, file_type; |
| |
| # Usually, this program is executed in the caller's domain. For example, it is |
| # executed in the `artd` domain when artd calls it. Domain transition will take |
| # place as soon as it executes other programs. |
| # The only exception is when called by init. In this case, it's executed in its |
| # own domain because init should never execute a program without changing to |
| # another domain. |
| init_daemon_domain(art_exec) |
| |
| # init calls this program to execute artd in a chroot environment for Pre-reboot |
| # Dexopt. |
| domain_auto_trans(art_exec, artd_exec, artd) |
| |
| # "sys_chroot" is for chroot'ing into the chroot environment, created by |
| # dexopt_chroot_setup. |
| allow art_exec self:global_capability_class_set sys_chroot; |
| |
| # Allow finding artd in the chroot dir for Pre-reboot Dexopt. |
| allow art_exec pre_reboot_dexopt_file:dir search; |