Growing article, with links to many related topics. Wikipedia.

RTXDOS-16 (DOS compatible) and RTXDOS-32 (WIN32 compatible) real-time OSs for embedded PCs. Modular systems with TCP/IP, WEB server, Process IO, OPC Toolkit, and IEC1131.

Makes, sells, supports RTKernel, realtime multitasking system for DOS; compact (about 16k code, 6k data); gives programmers the basic tools needed to develop efficient realtime software. No royalty.

Makes TSX-32 general purpose, multiuser, multitasking, text-based, non-graphical, DOS compatible RTOS, coded for x86 platforms. Supports realtime use, embedded devices.