1 ./shell[10]: ./x86/: cannot execute [is a directory] 2 ./shell[13]: ./shell.vgtest: cannot execute [Permission denied] 3 execve(0x........(./shell_badinterp), 0x........, 0x........, 0) failed, errno 2 4 EXEC FAILED: I can't recover from execve() failing, so I'm dying. 5 Add more stringent tests in PRE(sys_execve), or work out how to recover. 6 ./shell_binaryfile: ./shell_binaryfile: cannot execute [Exec format error] 7 ./shell[22]: ./shell_nosuchfile: not found [No such file or directory] 8 ./shell[25]: shell_nosuchfile: not found [No such file or directory] 9
