RTOS on Raspberry Pi 2

[gproduct]

Hello!
I'm interested in RTOS. I worked with it a little bit on ts board.
But I want it to work on my rpi2.
I would use it as a robot "brain".
It needs to communicate, move servos, detect sensor etc.
I was searching a bit and I found yagarto. I was working with freertos on my ts board.
I don't know how to install and what to install.
Thx

[Pithagoros]

FreeRTOS is a useful thing to add to your knowledge base, though there are usually easier ways to do things it's a good learning experience and will give you another string to your bow.

James Walmsley has done the port for Pi.

https://github.com/jameswalmsley/RaspberryPi-FreeRTOS

https://github.com/jameswalmsley/RaspberryPi-FreeRTOS

[gproduct]

Okay great!
But how do I use this, do I need raspbian with this or?