taglinefilesource code
shell715init/main.cstatic int do_shell(void * shell)
shell722init/main.creturn execve(shell, argv, envp);