tree e1d84debeab5ecba2d3ad9fe9824b27f3348d5c5
parent b29105625a9d5f90dce7c2e415ad60f954be034a
author Andrew Scull <ascull@google.com> 1568811225 +0100
committer Andrew Scull <ascull@google.com> 1568990869 +0100

Set primary kernel in manifest and allow preloading.

The primary kernel was previously hard-coded as `vmlinuz` but the
manifest allows more flexibility. If the kernel file for any VM is not
specified, it is assumed that the image has been preloaded into memory.

The loading of the primary and secondaries are becoming increasingly
similar and will continue to do so.

Change-Id: I34f134d8a4d32e8ac92e142d3636902d52ad86ec