I have two questions about the installation of a new linux kernel on my X60
gluglug laptop.
By following the instructions on the following website:
https://trisquel.info/en/wiki/update-linux-libre-kernel (thanks!)
I installed the linux-libre kernel (v. 3.13). Now I have no idea how to
switch to the new kernel because grub is installed in the bios and therefore
the new kernel doesn't show up in the grub menu list at the beginning of the
boot process. How can I switch to the new kernel?
It would be nice if I can compile the linux kernel myself. Do I have to
compile the kernel on the same computer as on which I like to install the
compiled kernel?