What is it? It is a real time operating system for the HP-1000 "mini" computer. The HP-1000 was in vogue for smallish companies in the '80s and it is the system they used to teach programming languages in my HS.

I didn't come into contact with the OS till much, much later.

Has anyone else on HN ever worked with this operating system?

[1] https://www.hpmuseum.net/display_item.php?sw=566 [2] https://en.wikipedia.org/wiki/HP-1000/RTE