operating system A microkernel currently under development by Dave Hudson , scheduled for release under GPL in May 1995. It is targeted at embedded applications on Intel 80386, Intel 486 and Pentium based systems. (1995-03-29)