Was that the RTOS used with the T-11 (the first single-chip PDP-11?)
I seem to remember that it was used as the RTOS in the LA-120 printer.
  Did the LA120 have a T11 in it?   Wow - makes me want to go take mine apart
and look :-)
  It's good that you brought this up, because I was going to ask about
examples of devices that used embedded PDP-11s, probably mostly DEC made but
not always.
  For example, the RFxx drives (all of 'em, I think) used a T11 and I'm
pretty sure ran some variant of RSX-11S.
  The RQDXn controllers also used a T11, but I have no idea what firmware
was inside them.
  The HSC controllers had PDP-11s in them, didn't they?   I don't remember
which model but I bet the OS was another RSX derivative.
  Some of the bigger DECserver terminal servers were PDP-11 based (not T11,
but an 11/53 for example).   Don't know if the little ones (e.g.
DECserver-100, 200, etc) were T11 or 68K based.   Actually if we go down that
path there were a number of PDP-11 and PDP-8 based front ends for the -10
that were essentially "terminal servers" (although we didn't call them as
such in those days) - the DC68/680I, DN20, etc.   I actually worked on a
couple of those, and they had "ad hoc" software that didn't use any
official
OS.
Bob