OpSys is located in:
obliqrt/src/OpSys.i3
pkgobj/src/Common/OpSys.i3