Linux, Microkernel project????

Mohamed M. Abbas (abbasm@luna.moonstar.com)
Sun, 12 Jan 1997 01:35:20 -0500

------------2D4B1719711B0
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset=us-ascii

Hello, I'm heard a couple month ago or read somewhere on the web that
there is a microkernel projrect for linux to turn it into a microkernel.
If there is such a project, what is it's status and where can I find
more information on it.

Thanks very much.....

------------2D4B1719711B0
Content-Transfer-Encoding: 7bit
Content-Type: text/html; charset=us-ascii

Hello, I'm heard a couple month ago or read somewhere  on the web that there is a microkernel projrect for linux to turn it into a microkernel. If there is such a project, what is it's status and where can I find more information on it.
        
                Thanks very much.....
------------2D4B1719711B0--