File  ctxsw.S   ARM-specific version (BeagBone Black)   Xinu path name  system/ctxsw.S