* Use bin/makebootiso to generate an ISO image
* See the example directory for an example boot XML file and related kernels and initrd images.