To install the kernel, just use dpkg like you said. Instead of changing GRUB_DEFAULT, you could also manually select the test kernel from the GRUB menu on boot. The grub menu can be accessed by holding the SHIFT key on boot up, after the BIOS information is displayed.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1771075 Title: General Protection fault in inotify (fixed upstream) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1771075/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs