forked from jameswalmsley/RaspberryPi-FreeRTOS
-
Notifications
You must be signed in to change notification settings - Fork 2
Home
Dan Olson edited this page Mar 30, 2016
·
4 revisions
Assumes you are running Ubuntu 14.04 LTS
Open a terminal:
$ sudo apt-get install git
$ sudo apt-get install gcc-arm-none-eabi
$ mkdir projects
$ cd projects/
$ mkdir freertos-dev
$ cd freertos-dev/
$ git clone https://github.com/smolt/RaspberryPi-FreeRTOS.git
$ 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.