-<h1><a name="booting_from_a_usb_key_instead_of_a_cd">BOOTING FROM A USB KEY INSTEAD OF A CD</a></h1>
-<p>If you wish to boot from a USB keydrive, use the livecd-iso-to-disk
-tool:</p>
+<h1><a name="pxe_booting">PXE BOOTING</a></h1>
+<p>If you wish to boot over the network using PXE, use the
+<code>livecd-iso-to-pxeboot</code> script (part of <code>livecd-tools</code>).</p>
+<pre>
+ livecd-iso-to-pxeboot virt-p2v-$VERSION.iso</pre>
+<p>then copy the generated subdirectory <code>tftpboot/</code> to the
+right place for your PXE configuration.</p>
+<p>Pre-built PXE boot images are also available on the website.</p>
+<p>General configuration of DHCP, TFTP and PXE for network booting are
+outside the scope of this document.</p>
+<p>
+</p>
+<hr />
+<h1><a name="booting_from_a_usb_key">BOOTING FROM A USB KEY</a></h1>
+<p>If you wish to boot from a USB keydrive, use the <code>livecd-iso-to-disk</code>
+script (part of <code>livecd-tools</code>):</p>