Comment 37 for bug 1237392

Hi Joseph,

I installed the image files and tested and it runs.

However, as before I could not install all: specifically the tools file gave a problem.
Not sure if it matters for you or not, so
I copy the last part of the messages, so you can see it seems to be a dependency error.

COPY:
Generating grub.cfg ...
Found linux image: /boot/vmlinuz-3.11.0-13-generic
Found initrd image: /boot/initrd.img-3.11.0-13-generic
Found linux image: /boot/vmlinuz-3.8.13-03081304-generic
Found initrd image: /boot/initrd.img-3.8.13-03081304-generic
Found linux image: /boot/vmlinuz-3.8.0-32-generic
Found initrd image: /boot/initrd.img-3.8.0-32-generic
Found linux image: /boot/vmlinuz-3.8.0-31-generic
Found initrd image: /boot/initrd.img-3.8.0-31-generic
Found linux image: /boot/vmlinuz-3.8.0-19-generic
Found initrd image: /boot/initrd.img-3.8.0-19-generic
Found memtest86+ image: /boot/memtest86+.bin
done
dpkg: dependency problems prevent configuration of linux-tools-3.11.0-13-generic:
 linux-tools-3.11.0-13-generic depends on linux-tools-3.11.0-13; however:
  Package linux-tools-3.11.0-13 is not installed.

dpkg: error processing linux-tools-3.11.0-13-generic (--install):
 dependency problems - leaving unconfigured
Errors were encountered while processing:
 linux-tools-3.11.0-13-generic