Quality RTOS & Embedded Software

 Real time embedded FreeRTOS RSS feed 
Quick Start Supported MCUs PDF Books Trace Tools Ecosystem


FreeRTOS on Raspberry Pi

Posted by jordiblasi on May 16, 2016


I have just compiled succesfully the FreeRTOS port for Raspberry Pi obtained from here:


I have copied the kernel.elf, kernel.img, kernel.list, kernel.map and kernel.syms files obtained from this process to the /boot partition of the micro SD card running the raspberry. I have placed a led light betwen the GPIO16 and Ground pins (as I understand these are the ones activated by the demo) but I cannot see it blinking. What I am doing wrong?

thanks in advance.

FreeRTOS on Raspberry Pi

Posted by rtel on May 16, 2016

Sorry - we have no idea, having never used the RaspberryPi ourselves, and do not provide the code you are referring to ourselves either. Try contacting James Walmsley, who provides the code you link to, as well as other neat FreeRTOS based projects.

FreeRTOS on Raspberry Pi

Posted by jordiblasi on May 17, 2016

I have managed to compile and run this fork:


It works on newest versions of Raspberry.

FreeRTOS on Raspberry Pi

Posted by rtel on May 17, 2016

Great - and thanks for the link.

[ Back to the top ]    [ About FreeRTOS ]    [ Sitemap ]    [ ]

Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.

Latest News

Meet us at Embedded World. Hall 3A-525.

Hear from Richard Barry at Embedded World. Feb 28, 16:00, Hall 4-428.

Video: Watch James Gosling & Richard Barry at re:Invent, Las Vegas 2017.

FreeRTOS kernel V10.0.1 is available for immediate download. Now MIT licensed.

FreeRTOS Partners

ARM Connected RTOS partner for all ARM microcontroller cores

IAR Partner

Microchip Premier RTOS Partner

RTOS partner of NXP for all NXP ARM microcontrollers

STMicro RTOS partner supporting ARM7, ARM Cortex-M3, ARM Cortex-M4 and ARM Cortex-M0

Texas Instruments MCU Developer Network RTOS partner for ARM and MSP430 microcontrollers

OpenRTOS and SafeRTOS