FreeRTOS

for what purpose?

I have done simple things with it some time ago and don't remember much.

Just an FYI, it was ported to the Cyclone V SoC already. You can find it here if you want to try it:

http://www.freertos.org/a00090.html#altera