From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,216b18d81cce4f75 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-06-28 03:59:09 PST Path: archiver1.google.com!newsfeed.google.com!sn-xit-02!supernews.com!nntp-relay.ihug.net!ihug.co.nz!newsfeed00.sul.t-online.de!t-online.de!grolier!btnet-peer0!btnet!news5-gui.server.ntli.net!ntli.net!news2-win.server.ntlworld.com.POSTED!not-for-mail From: "chris.danx" Newsgroups: comp.lang.ada References: <3B183CB8.3EE396E7@engineer.com><_M3S6.8957$HL5.1284411@news6-win.server.ntlworld.com><8DKS6.27593$%_1.4657414@news2-win.server.ntlworld.com><0daV6.9332$6d5.1953313@news2-win.server.ntlworld.com> <3B34AE89.FFBE39EF@ebox.tninet.se> <9heq45$j9f$1@wanadoo.fr> Subject: Re: Ada Microkernel? MIME-Version: 1.0 Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Message-ID: <71E_6.25488$QM1.3902337@news2-win.server.ntlworld.com> Date: Thu, 28 Jun 2001 11:55:06 +0100 NNTP-Posting-Host: 62.252.145.219 X-Complaints-To: abuse@ntlworld.com X-Trace: news2-win.server.ntlworld.com 993725635 62.252.145.219 (Thu, 28 Jun 2001 11:53:55 BST) NNTP-Posting-Date: Thu, 28 Jun 2001 11:53:55 BST Organization: ntlworld News Service Xref: archiver1.google.com comp.lang.ada:9188 Date: 2001-06-28T11:55:06+01:00 List-Id: > With some friends in France, we'd like to write our own micro kernel. The > project has just started (6 month). The main goal is to provide a micro > kernel like Mach or L4. After, it could be possible to write servers to make > a more complete O.S. but at this time, it's not the subject. > > For the moment we try to status which microkernel model we gonna to take : > Mach ou make a L4 clone in Ada .. > > Opinions ? You might want to take a look at http://www.cs.berkeley.edu/~gribble/osprelims/summaries/Cache.html or http://citeseer.nj.nec.com/cheriton94caching.html which has a different micro-kernel concept. It is a micro kernel but it's not like mach. Basically the "Cache kernel" only stores certain data for the "Application Kernel", and hence is much simpler. The Application Kernel is another kernel (a little simpler) which does a lot of the work. Since you can have many application kernels you can effectively have Windows applications running on a compatible Windows Application Kernel and Unix applications running in a Unix Application Kernel. The scheme doesn't limit you to one application kernel and offers great flexibility. You can still write Mach or L4 compatible app kernels and whatever other kernel you like. There was one project that was going to do a cache kernel called Freedows but it seems to have suffered a slow painful death. I don't think it was the cache kernel that did it, just that they had too many developers who couldn't agree on anything. You may also want to subscribe to alt.os.development and alt.os.assembly as ther are lots of knowledgable folks working on OSes there. Chris Campbell