1746f02cca39bb3fb4d300d01097b93f69e65490fnjn./shell: ./x86/: is a directory 27375061f0ecd9534a27ade9bb4fbe47ddce41298njn./shell: ./shell.vgtest: Permission denied 37375061f0ecd9534a27ade9bb4fbe47ddce41298njnexecve(0x........(./shell_badinterp), 0x........, 0x........) failed, errno 2 47375061f0ecd9534a27ade9bb4fbe47ddce41298njnEXEC FAILED: I can't recover from execve() failing, so I'm dying. 57375061f0ecd9534a27ade9bb4fbe47ddce41298njnAdd more stringent tests in PRE(sys_execve), or work out how to recover. 67375061f0ecd9534a27ade9bb4fbe47ddce41298njn./shell: ./shell_binaryfile: cannot execute binary file 7746f02cca39bb3fb4d300d01097b93f69e65490fnjn./shell: ./shell_nosuchfile: No such file or directory 87375061f0ecd9534a27ade9bb4fbe47ddce41298njn./shell: shell_nosuchfile: command not found 9