Allow an external kernel to be used to boot guests.
authorRichard W.M. Jones <rjones@redhat.com>
Mon, 18 May 2015 12:11:46 +0000 (13:11 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Mon, 18 May 2015 12:11:46 +0000 (13:11 +0100)
commit737ffdb932c89d8ec0b2c3d9731ca325da9d84f3
tree2aaccccf203fc20084d198a3f8c23fbc3fede66b
parent00c6b7f0a9371df0212dbe84abb1f95c162609a0
Allow an external kernel to be used to boot guests.

Required for armv7 guests.
mclu_boot.ml
template.ml
template.mli