Hello,
I need to develop a real time application, so, I decided to modify the source code of the OS..
If you need to work "inside" the OS, you can download the source code, you will find all the functions' bodies you need.
It is possible to add, modify, or delete functions, but, it's necessary to update the circle_api.h
Best regards!
Kbe.