Home

Jump to bottom Edit New page

Dan Olson edited this page Mar 30, 2016 · 4 revisions

Welcome to the RaspberryPi-FreeRTOS wiki!

Get Prerequisites

Assumes you are running Ubuntu 14.04 LTS

Open a terminal:

$ sudo apt-get install git
$ sudo apt-get install gcc-arm-none-eabi

Get demo code from github

$ mkdir projects
$ cd projects/
$ mkdir freertos-dev
$ cd freertos-dev/
$ git clone https://github.com/smolt/RaspberryPi-FreeRTOS.git

Build it

$ make

Take a look in the same directory for a kernel.img file. You can copy it to a SD card with Raspbian already on it, replacing the existing kernel.mg.