OpSys is located in:
obliqrt/src/WIN32/OpSys.m3
obliqrt/src/POSIX/OpSys.m3