-
-
Save agr-shrn/6b7c3eba0bf1103d863a to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
1. Add these repositories manually to /etc/apt/sources.list file. To do so | |
From command line enter | |
sudo gedit /etc/apt/sources.list | |
And add these two lines at the end of the file | |
deb http://ppa.launchpad.net/abogani/realtime/ubuntu precise main | |
deb-src http://ppa.launchpad.net/abogani/realtime/ubuntu precise main | |
2. Now run | |
sudo apt-get update. | |
3. Now you need to install real time os from the internet: | |
sudo apt-get install linux-realtime | |
4. Reboot your system, the GRUB should show the real-time OS. | |
------------------------------------------------------------------------------------------------------------------------- | |
If your grub does not show the RTOS just installed in the list of available kernals, then you need to use boot-repair. | |
If you have only linux and it does not shows the kernal. | |
You need to just edit /etc/default/grub and remove 0 from the | |
GRUB_HIDDEN_TIMEOUT=0 <- remove O | |
|| | |
\/ | |
GRUB_HIDDEN_TIMEOUT= | |
Run sudo grub-update and reboot. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment