+
+ # TODO: provide alternative search_file() if file information is stored in
+ # a config.ini file?
+ squashfs = search_file(grml_flavour + '.squashfs', iso_mount)
+ print("debug: copy squashfs to %s") % target + '/live/' + grml_flavour + '.squashfs'
+
+ filesystem_module = search_file('filesystem.module', iso_mount)
+ print("debug: copy filesystem.module to %s") % target + '/live/' + grml_flavour + '.module'
+
+ kernel = search_file('linux26', iso_mount)
+ print("debug: copy kernel to %s") % target + '/boot/release/' + grml_flavour + '/linux26'
+
+ initrd = search_file('initrd.gz', iso_mount)
+ print("debug: copy initrd to %s") % target + '/boot/release/' + grml_flavour + '/initrd.gz'
+
+ logo = search_file('logo.16', iso_mount)
+ print("debug: copy logo.16 to %s") % target + '/boot/isolinux/' + 'logo.16'
+
+ for file in 'f2', 'f3', 'f4', 'f5', 'f6', 'f7', 'f8', 'f9', 'f10':
+ bootsplash = search_file(file, iso_mount)
+ print("debug: copy %s to %s") % (bootsplash, target + '/boot/isolinux/' + file)