Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uwm.edu!spool.mu.edu!agate!darkstar!usenet
From: usenet@darkstar.ucsc.edu (Usenet News Account)
Newsgroups: comp.os.research
Subject: Definition of a microkernel
Message-ID: <16547@darkstar.ucsc.edu>
Date: 3 Jun 91 14:04:49 GMT
Organization: GMD-FIRST, D-1000 Berlin 10
Lines: 16
Approved: comp-os-research@jupiter.ucsc.edu


The focus on microkernel-based operating systems leads me to the
question about a microkernel definition.  I'm aware of a minimal kernel
(through reports on Clouds, esp. Ra) but can't imagine an analogy
hearing about the functionality and code size of current microkernels.


Can someone help with references or suggestions ?

Thanks,

--
Joerg Cordsen            | UUCP: jc@gmdtub.uucp
c/o GMD Berlin           | BANG: ..!unido!gmdtub!jc
D-1000 Berlin 12 - FRG   |  or   ..!pyramid!tub!gmdtub!jc
Hardenbergplatz 2        | FAX:  +49 30 254 99 172