I wrote some instructions for a typical user (? or at least one with my sort of Grub loader configuration) who wants a lowlatency or realtime kernel. I suggest that these get added to the documentation of Step 5 (http://kxstudio.sourceforge.net/Documen ... tu:Upgrade), and perhaps that Steps 5 & 6 get interchanged. But that's not at all urgent.
THE INSTRUCTIONS (coming after the existing instructions for installing kernels):
The longer discussion of my trials & tribulations to discover this technique is found at http://www.linuxmusicians.com/viewtopic ... =15#p26067Reboot, and check which kernel is running by executing "cat /proc/version".
If the desired kernel is not running, it is probably due to the Grub bootloader making an unfortunate choice of default. Grub normally selects the highest numbered kernel (you may view the list of kernels with "ls /boot/vmlinuz*").
You may select a nondefault kernel by holding down the SHIFT key at the beginning of a reboot, until a Grub menu appears. Most of the choices are usually hidden within a submenu "Previous Linux Versions".
To avoid using the Grub menu in every reboot, edit /etc/default/grub, changing the single lineto the 2 linesCode: Select all
GRUB_DEFAULT=0
Then, execute "sudo update-grub" to configure Grub with your changes. If you are curious, you may look at /boot/grub/grub.cfg to see the result of the update.Code: Select all
GRUB_DEFAULT="saved" GRUB_SAVEDEFAULT="true"