#############################
# System files
#
(/.*)?                         u:object_r:system_file:s0
/bin/art_boot                  u:object_r:art_boot_exec:s0
/bin/art_exec                  u:object_r:art_exec_exec:s0
/bin/artd                      u:object_r:artd_exec:s0
/bin/dex2oat(d)?(32|64)?       u:object_r:dex2oat_exec:s0
/bin/dexopt_chroot_setup       u:object_r:dexopt_chroot_setup_exec:s0
/bin/dexoptanalyzer(d)?        u:object_r:dexoptanalyzer_exec:s0
/bin/odrefresh                 u:object_r:odrefresh_exec:s0
/bin/profman(d)?               u:object_r:profman_exec:s0
/lib(64)?(/.*)?                u:object_r:system_lib_file:s0