SELinux policy that separates "init_shell" from "shell".

"init_shell" is used for shell processes spawned by init.

Change-Id: I9e35d485bac91f3d0e4f3704acdbb9af7d617173
2 files changed