I did this:
"$ sudo apt-get install linux-rt linux-headers-rt
and a new entry will be added to your GRUB menu, to let you choose the standard or the RT kernel on boot."
However there is no new entry on the GRUB menu.
Edit: Nevermind, I had to do a "sudo update-grub" in the latest installed OS.
"$ sudo apt-get install linux-rt linux-headers-rt
and a new entry will be added to your GRUB menu, to let you choose the standard or the RT kernel on boot."
However there is no new entry on the GRUB menu.
Edit: Nevermind, I had to do a "sudo update-grub" in the latest installed OS.