Clarification on FreeRTOS Integration with openbsw

[saanjh-sengupta]

I’m new to the openbsw repository and would like some clarification:

1. How is FreeRTOS integrated with the openbsw stack?
2. In the POSIX build, does the application rely on FreeRTOS timers, or does it use native POSIX timing instead?