RTOS is located in:
runtime/src/POSIX/RTOS.m3
runtime/src/WIN32/RTOS.m3