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.1 required=5.0 tests=BAYES_00, PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,216b18d81cce4f75 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-06-29 03:32:06 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!opentransit.net!wanadoo.fr!not-for-mail From: "Fr�d�ric BOYER" Newsgroups: comp.lang.ada Subject: Re: Ada Microkernel? Date: Fri, 29 Jun 2001 12:29:25 +0200 Organization: Wanadoo, l'internet avec France Telecom Message-ID: <9hhlf6$q3u$1@wanadoo.fr> 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> <3B3B6F8F.EAA0F196@online.no> NNTP-Posting-Host: chevilly-1-150.abo.wanadoo.fr X-Trace: wanadoo.fr 993810726 26750 164.138.94.150 (29 Jun 2001 10:32:06 GMT) X-Complaints-To: abuse@wanadoo.fr NNTP-Posting-Date: 29 Jun 2001 10:32:06 GMT X-Newsreader: Microsoft Outlook Express 5.50.4133.2400 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 Xref: archiver1.google.com comp.lang.ada:9241 Date: 2001-06-29T10:32:06+00:00 List-Id: I think you are right. I am not sure that all L4's implementation are written in assembly language. Some implementation use c and c++. An Ada implementation could be very cool (for Ada and for us). But the main goal of the project is to provide an micro kernel made for Ada ( with thread, adapted memory model, IPC support for thread sync/data transfert), with (soft) RT capability. kernel will also support Ada RM annexes (Distributed systems, System programming, R.T.). Maybe we will provide a L4 emulation, or L4 support, but it was not the preliminary goal of the project. Best regards .. frederic. "Tarjei Tj�stheim Jensen" a �crit dans le message news: 3B3B6F8F.EAA0F196@online.no... > Fr�d�ric BOYER wrote: > > For the moment we try to status which microkernel model we gonna to take : > > Mach ou make a L4 clone in Ada .. > > L4 clone. Mach has had its day. It supposedly was not a very good > microkernel either. All the interesting developments in microkernels > happened after mach was released :-) > > The L4 approach is to write at least the core kernel in assembly > language and then use a high level language to create the rest of the > system. That may limit the kind of hardware on which your kernel might > run on. That need not be a disadvantage if you target SMP boards. Being > SMP ready out of the box would be cool. > > BTW It might be useful to use a BSD license for such a project. That way > you can graft on one of the BSD kernels onto the microkernel. And you > might have a fair chance of attracting developers. > > > Greetings,