I want to use PWM and FreeRTOS on RPi. There are some libraries that do the hard stuff of controlling the RPi's registers, but I can't find how to add them to the Makefile path.
My question is: how do I add any third party library to the Makefile of this project?