FWIW, read about Minix3 <http://www.minix3.org/> in this article <http://www.zdnetasia.com/are-microkernels-the-future-of-secure-os-design-62203036.htm?scid=nl_z_tgis> It is targeted towards embedded applications running in production environment. -- Arun Khan