Tengo un montón de archivos ISO en vivo como GParted , CloneZilla , Boot-Repair , Ubuntu 14.04 32 bit , ... descargados en /optmi vieja máquina BIOS, solía poder agregarlos al menú de grub y arrancarlos . :-) Ahora tengo una máquina UEFI y toda la información que puedo encontrar es para máquinas...