Implement the FreeRTOS git repo as a submodule

[neilbalch]

I just realized that FreeRTOS now publishes their source to a GitHub repo... maybe we could make use of that as a submodule? 😄

This builds successfully on my local WSL instance.

[RasmusB]

Even better, use the FreeRTOS-Kernel repo instead. That way you don't have do add all the demo folder and other cruft that you don't need for your own projects.

[neilbalch]

@RasmusB That has a different folder structure from the downloadable zip file and the repo I've linked to... Am I missing something?

[RasmusB]

@neilbalch

The repo you linked to contains absolutely everything related to FreeRTOS; for example demo projects for all supported platforms. If you just want to submodule FreeRTOS to use in your own project, you might as well just submodule FreeRTOS-Kernel, which contains everyting that is actually needed to run FreeRTOS and nothing else.

If you take a look at the repo you have included, it actually submodules FreeRTOS-Kernel in https://github.com/FreeRTOS/FreeRTOS/tree/master/FreeRTOS in this way.

[neilbalch]

Ah, I'll look into that today.

[neilbalch]

Huh, strangely, the ./rtos/FreeRTOS/Source folder is empty... wtf? Everything still compiles...