I am working with the RTOS ev3rt for university rn, and I have to include its API in order to use the functions.
With the way their Makefile is written, I just need t