Thread: How to use a different kernel?

on dell vostro 3300 unable use external monitor connected via vga. there bug report @ https://bugs.launchpad.net/ubuntu/+s...ux/+bug/614238 , possible fix new kernal @ https://bugs.launchpad.net/ubuntu/+s...38/comments/57

downloaded deb referred , installed it, , run sudo update-grub, kernel not appear in grub menu. i'm stumped. know how can make kernel appear on grub menu can use it?

thanks!

Forum The Ubuntu Forum Community Ubuntu Official Flavours Support General Help [ubuntu] How to use a different kernel?

Ubuntu