8199123c8d
"init_shell" is used for shell processes spawned by init. Change-Id: I9e35d485bac91f3d0e4f3704acdbb9af7d617173
14 lines
619 B
Text
14 lines
619 B
Text
# Restricted domain for shell processes spawned by init
|
|
type init_shell, domain, mlstrustedsubject;
|
|
domain_auto_trans(init, shell_exec, init_shell)
|
|
allow init_shell rootfs:dir r_dir_perms;
|
|
allow init_shell devpts:chr_file rw_file_perms;
|
|
allow init_shell tty_device:chr_file rw_file_perms;
|
|
allow init_shell console_device:chr_file rw_file_perms;
|
|
allow init_shell input_device:chr_file rw_file_perms;
|
|
allow init_shell system_file:file x_file_perms;
|
|
allow init_shell shell_exec:file rx_file_perms;
|
|
allow init_shell zygote_exec:file rx_file_perms;
|
|
|
|
# setprop toolbox command
|
|
unix_socket_connect(init_shell, property, init)
|