commit | 1349857618e5ddd30dc7401e7cae64ef20a4631c | [log] [tgz] |
---|---|---|
author | Julien Thierry <julien.thierry@arm.com> | Thu Jan 10 14:20:43 2019 +0000 |
committer | Will Deacon <will.deacon@arm.com> | Tue Jan 22 06:55:22 2019 +0000 |
tree | 8596aff7d33c2471a91c9fb49d1a9a8be07010da | |
parent | f269c81dff7d4fe4b3c867e896169fb405c8084d [diff] |
builtin-run: Do not look for default kernel when firmware is provided When a firmware file is provided, kvmtool is not responsible for loading a kernel image. There is no reason for looking for a default kernel image when loading a firmware. Signed-off-by: Julien Thierry <julien.thierry@arm.com> Reviewed-by: Andre Przywara <andre.przywara@arm.com> Signed-off-by: Will Deacon <will.deacon@arm.com>