- 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.
- Once you have a new SD card to play with, open it up in My Computer (Windows), or browse to the directory.
- 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.
- 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!
- 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