A
real time operating system originally written by
Intel around 1990.
iRMX is heavily tied to the X86 processor architecture, operating in segmented protected mode and using the GDT to index system objects, such as tasks, semaphores and mailboxes.
Intel later sold iRMX to Radisys, who then passed it on to Tenasys.
See http://www.tenasys.com/