| # Domain for shell processes spawned by ADB or console service. | |
| type shell, domain, shelldomain, mlstrustedsubject; | |
| type shell_exec, exec_type, file_type; | |
| # Create and use network sockets. | |
| net_domain(shell) | |
| # Run app_process. | |
| # XXX Transition into its own domain? | |
| app_domain(shell) | |
| # inherits from shelldomain.te |