diff --git a/init_shell.te b/init_shell.te deleted file mode 100644 index 51dbd07e9f40653193adb270ae37b2cd5e77106e..0000000000000000000000000000000000000000 --- a/init_shell.te +++ /dev/null @@ -1,10 +0,0 @@ -# Restricted domain for shell processes spawned by init. -# Normally these are shell commands or scripts invoked via sh -# from an init*.rc file. No service should ever run in this domain. -type init_shell, domain; -domain_auto_trans(init, shell_exec, init_shell) -permissive_or_unconfined(init_shell) - -# Run helpers from / or /system without changing domain. -allow init_shell rootfs:file execute_no_trans; -allow init_shell system_file:file execute_no_trans;