tuxrun should know what kernel it needs to boot

[bhcopeland]

In GitLab by @aroxell on May 25, 2021, 20:55 GMT+1:

tuxrun should know what kernel it needs to boot.
if it can't find the correct kernel image it should fail and explain what's expected

Migrated from GitLab: https://gitlab.com/Linaro/tuxrun/-/issues/17

[bhcopeland]

In GitLab by @aroxell on May 26, 2021, 09:16 GMT+1:

mips ppc and sparc should use vmlinux
and riscv should use Image, these files exists already but they are compressed.