How to install FreeRTOS on Raspberry Pi?

Question

my goal is to run FreeRTOS from this site on a Raspberry Pi. I have build it using arm-none-eabi-gcc on a Linux machine.

Now I have this files/folders:

RaspberryPi-FreeRTOS/
├── build
│   ├── Demo
│   │   ├── Drivers
│   │   │   ├── gpio.d
│   │   │   ├── gpio.o
│   │   │   ├── irq.d
│   │   │   └── irq.o
│   │   ├── main.d
│   │   ├── main.o
│   │   └── startup.o
│   └── FreeRTOS
│       └── Source
│           ├── croutine.d
│           ├── croutine.o
│           ├── list.d
│           ├── list.o
│           ├── portable
│           │   ├── GCC
│           │   │   └── RaspberryPi
│           │   │       ├── port.d
│           │   │       ├── portisr.d
│           │   │       ├── portisr.o
│           │   │       └── port.o
│           │   └── MemMang
│           │       ├── heap_4.d
│           │       └── heap_4.o
│           ├── queue.d
│           ├── queue.o
│           ├── tasks.d
│           └── tasks.o
├── dbuild.config.mk
├── Demo
│   ├── Drivers
│   │   ├── bcm2835_intc.h
│   │   ├── gpio.c
│   │   ├── gpio.h
│   │   ├── irq.c
│   │   └── irq.h
│   ├── FreeRTOSConfig.h
│   ├── main.c
│   └── startup.s
├── FreeRTOS
│   └── Source
│       ├── croutine.c
│       ├── include
│       │   ├── croutine.h
│       │   ├── FreeRTOSConfig.h
│       │   ├── FreeRTOS.h
│       │   ├── list.h
│       │   ├── mpu_wrappers.h
│       │   ├── portable.h
│       │   ├── projdefs.h
│       │   ├── queue.h
│       │   ├── semphr.h
│       │   ├── StackMacros.h
│       │   ├── task.h
│       │   └── timers.h
│       ├── list.c
│       ├── portable
│       │   ├── GCC
│       │   │   └── RaspberryPi
│       │   │       ├── port.c
│       │   │       ├── portisr.c
│       │   │       └── portmacro.h
│       │   └── MemMang
│       │       ├── heap_1.c
│       │       ├── heap_2.c
│       │       ├── heap_3.c
│       │       └── heap_4.c
│       ├── queue.c
│       ├── tasks.c
│       └── timers.c
├── kernel.elf
├── kernel.img
├── kernel.list
├── kernel.map
├── kernel.syms
├── Makefile
├── objects.mk
├── raspberrypi.ld
└── README.md

What are the next step to bring FreeRTOS to the Pi?

Thanks in advance.

Alex

How did you generate that directory map? – zipzit Jan 18 '17 at 02:25 — zipzit, Jan 18 '17 at 02:25

score 5 · Accepted Answer · answered May 03 '16 at 06:03

5

To get started take help from existing operating system recommended for raspberry pi like: raspbian. Where all the necessary things (bootloader) for booting a kernel is there. So install raspbian first, then from SD card you'll find raspbian's own kernel.img, rename it take backup and then copy the freertos's kernel.img into SD card, then try booting. Hopefully this will work. Make sure the RaspberryPi version and freertos versions are okay.

answered May 03 '16 at 06:03

rakib_

136,911
4
20
26

One remark to the actual version: The demo sources providing the BCM2835. This means it will work on a Rasp 1, not on a Rasp 3. – Alex44 May 13 '16 at 14:23
@Alex44 On which version of rpi did you try this? Did it work? – LandonZeKepitelOfGreytBritn Nov 09 '16 at 12:47
I replaced /boot/kernel7.img with the freertos's kernel, and I connect to rpi 2 model B with uart, but booting doesn't show anything on the screen – dafnahaktana Dec 02 '17 at 20:30

How to install FreeRTOS on Raspberry Pi?

1 Answers1