A microkernel currently under development by Dave Hudson <[email protected]>, scheduled for release under GPL in May 1995. It is targeted at embedded applications on Intel 80386, Intel 486 and Pentium based systems.