+ # install hdt and pci.ids only when using syslinux (grub doesn't support it)
+ if options.syslinux:
+ # hdt (hardware detection tool) image
+ hdtimg = search_file('hdt.c32', iso_mount)
+ if hdtimg:
+ logging.debug("cp %s %s" % (hdtimg, addons + '/hdt.c32'))
+ proc = subprocess.Popen(["cp", hdtimg, addons + '/hdt.c32'])
+ proc.wait()
+
+ # pci.ids file
+ picids = search_file('pci.ids', iso_mount)
+ if picids:
+ logging.debug("cp %s %s" % (picids, addons + '/pci.ids'))
+ proc = subprocess.Popen(["cp", picids, addons + '/pci.ids'])
+ proc.wait()
+