Do user threads exist on geckoos?

See more:

Linux

Gecko

POSIX

IoT

Gecko-OS

Hi everyone,
I am tasked to study the feasibility of porting a code I wrote for Linux (almost entirely POSIX) with pthreads and sockets to a GeckoOS app.

The SDK documentation for GeckoOS doesn't mention any kind of thread creation function and mentions a fixed set of threads managed by the OS itself.

Does it exist the possibility of creating a user pThread on a GeckoOS application or is it out of the scope of the OS? I am a total noob in IoT (the end system is not even battery powered by the way, not my requirements, don't ask).

Thank you for the consideration,
D

What I have tried:

Searched really hard on the SDK documentation and practiced my Google-Fu. I don't have the current source code, the board nor the SDK or the target IDE. Don't ask, I have no answers, only anger.