A microkernel currently under development by Dave Hudson <dave@humbug.demon.co.uk>, scheduled for release under gpl in May 1995. It is targeted at embedded applications on intel 80386, intel 486 and pentium based systems.