Skip to content

Instantly share code, notes, and snippets.

@alyakhtar

alyakhtar/rtos

Created May 23, 2015 13:32
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save alyakhtar/30fbed255f00b778029b to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save alyakhtar/30fbed255f00b778029b to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. alyakhtar created this gist May 23, 2015.
    36 changes: 36 additions & 0 deletions rtos
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,36 @@
    Want to install RTOS in your device. Don't worry, here is the solution:

    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. After it, just reboot your system, choose the real time kernal and enjoy!.

    -------------------------------------------------------------------------------------------------------------------------

    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.