Getting started

More detail will become available on my blog, got check it out. I am using the Mac version of the Yagarto tool chain, although this should work with any arm-none-eabi tool chain.

Modify the Makefile the point to the right path for the compiler the compiler tools and do 'make clean' followed by 'make all'. This will generate an output file called kernel.img.

In order to run the kernel on a Raspberry Pi, you need a SD card that has already been formatted and has a version of Linux installed. Since you will be replacing the Linux kernel, it is advisable to rename it or keep a backup of it somewhere. Copy the VarkOS kernel.img file to you SD card and you should be ready to go.

This project is a work in progress and is still in the early stages of development.