JMI Software Systems, Inc.

Makes C EXECUTIVE and PSX multitasking, ROMable kernels for embedded systems. C EXECUTIVE runs on 8/16/32 bit CISC CPUs, many RISC CPUs, DSPs, over 20 so far: fast context switching, compact. Options: DOS file system, TCP/IP, SNMP. PSX is a medium-size kernel, between small basic kernels and full Unix; optional subset of POSIX.1 system calls.