1 ./shell: ./x86/: is a directory 2 ./shell: ./shell.vgtest: Permission denied 3 execve(0x........(./shell_badinterp), 0x........, 0x........) 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: ./shell_binaryfile: cannot execute binary file 7 ./shell: ./shell_nosuchfile: No such file or directory 8 ./shell: shell_nosuchfile: command not found 9