How to put JoeyOS on your Raspbery Pi!

Putting JoeyOS on your Raspberry Pi is very simple:


  1. First, you'll need an SD card with any Raspberry Pi OS loaded.  I test all mine with Raspbian (the default distro) but Arch Linux and probably many others will work.  Please make sure this is a brand new OS!  You can use an existing one, but I cannot guarantee that your files will be safe.  Instructions for creating a new OS on an SD card can be found here.
  2. Once you have a new SD card to play with, open it up in My Computer (Windows), or browse to the directory.
  3. You'll see a file called "kernel.img".  Rename it to "kernel_OLD.img" or something like that, we will be replacing it with our own kernel, so this way you can rename it and access the other OS too. 
  4. At the bottom of this page, there is a link to a file called "kernel.img".  Download this file and put it inside your SD card.  Your SD should now have the two files, "kernel.img" and "kernel_OLD.img", or whatever you called it, plus all of the other files that were there to begin with.  This link also contains the downloads for the source code if you are feeling ambitious!
  5. You can now put the SD card into your Raspberry Pi and use JoeyOS!  If you have any problems, feel free to post a comment or email me.

Link to kernel.img: kernel.img

5 comments:

  1. Great project, congrats! But why not post the source too, so everybody could contribute? Maybe use GitHub or something like that? Thanks!

    ReplyDelete
  2. Sure! Thanks for the feedback. The source is now up on Google Code: http://code.google.com/p/joey-os-rpi/

    You will need to follow Alex Chadwick's instructions on how to build and compile it: http://www.cl.cam.ac.uk/freshers/raspberrypi/tutorials/os/downloads.html

    ReplyDelete
  3. That's perfect, thank you so much! Will share this page on Facebook.

    ReplyDelete
  4. I haven't check the code or anything yet, but what I'm hoping is to be able to use my own code and drive the external GPIO pins directly, without any delay. This way I could setup my own sample playback machine. ;-) Maybe even drive the Analog Audio Output directly too. We will see about that. ;-)

    ReplyDelete
  5. That sounds like a great idea! I would recomend following Alex's tutorial rather than my code, because he does an EXCELLENT job explaining everything. Here is the LED blinking tutorial: http://www.cl.cam.ac.uk/freshers/raspberrypi/tutorials/os/ok01.html

    ReplyDelete