<domain>
  <os firmware="efi">
    <type arch="x86_64" machine="q35">hvm</type>
    <boot dev="cdrom"/>
    <boot dev="network"/>
  </os>
</domain>