| userfastboot_only(` | |
| domain_trans(init, rootfs, userfastboot) | |
| domain_trans(init, rootfs, dhcp) | |
| userdebug_or_eng(` | |
| # Used for the serial console, shell label set by the console service | |
| # definition from init.rc with: | |
| # seclabel u:r:shell:s0 | |
| domain_trans(init, rootfs, shell) | |
| ') | |
| ') |