The easiest way to install these test kernels is to manually download all the *.deb files into a directory. Then, in a terminal, just execute:
$ cd <DIR-WITH-DEB-FILES> $ sudo dpkg -i *.deb -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1087622 Title: Linux kernel 3.5.0-20 won't boot [unable to handle kernel paging request at f91fe4fc in trace_event_raw_init+0xb/0x20] To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1087622/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
