On Wed, 23 Feb 2005, andrey mirtchovski wrote:

  

certifiable microkernel sounds like a diagnose, (not to belittle any of
their efforts!)
    

no, there's an ISO standard for microkernels. It's 15,000 pages long.

OK, I stole the joke from one I heard used to make the rounds in
Moscos in Soviet days.

"Did you hear about the new Soviet microprocessor? It's the largest in
the world!"

ron