From mboxrd@z Thu Jan 1 00:00:00 1970 Date: Thu, 24 Feb 2005 07:58:15 -0700 From: "Ronald G. Minnich" To: Fans of the OS Plan 9 from Bell Labs <9fans@cse.psu.edu> Subject: Re: [9fans] Re: [Xen-devel] PikeOS (fwd) In-Reply-To: Message-ID: References: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Topicbox-Message-UUID: 53487c98-eace-11e9-9e20-41e7f4b1d025 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