How to install FreeRTOS on Raspberry Pi?
<p>my goal is to run FreeRTOS from <a href="https://github.com/jameswalmsley/RaspberryPi-FreeRTOS.git" rel="noreferrer">this site</a> on a Raspberry Pi.
I have build it using <code>arm-none-eabi-gcc</code> on a Linux machine.</p>

<p>Now I have this files/folders:</p>

<pre><code>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
</code></pre>

<p>What are the next step to bring FreeRTOS to the Pi?</p>

<p>Thanks in advance.</p>

<p>Alex</p>