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=-0.3 required=5.0 tests=BAYES_00,LOTS_OF_MONEY, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,9c72b7ef47beac3e X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-07-05 17:36:07 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!newsfeed00.sul.t-online.de!newsmm00.sul.t-online.com!t-online.de!news.t-online.com!not-for-mail From: gerhard.nospam@bigfoot.de (Gerhard =?iso-8859-1?Q?H=E4ring?=) Newsgroups: comp.lang.ada Subject: Re: URL for Ada Mircokernl? Date: Fri, 6 Jul 2001 03:08:07 +0200 Organization: T-Online Message-ID: References: <79517.8611$Kf3.97904@www.newsranger.com> <3B44FC7E.C624FECD@engineer.com> Reply-To: gerhard@bigfoot.de Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: news.t-online.com 994379216 06 3374 bI7eSu0SVD65J 010706 00:26:56 X-Complaints-To: abuse@t-online.com X-Sender: 320066699498-0001@t-dialin.net User-Agent: slrn/0.9.6.3 (Linux) Xref: archiver1.google.com comp.lang.ada:9518 Date: 2001-07-06T03:08:07+02:00 List-Id: On Thu, 05 Jul 2001 19:47:10 -0400, B. Douglas Hilton wrote: > Also check out MaRTE OS, a real-time kernel written in Ada that uses >OSKit for its drivers. That is cool... using linux drivers with an Ada kernel. Cool. I wasn't aware of this one. >Ted Dennison wrote: > >> In article , chris.danx >> says... >> >Someone told me about ADX, an ada mircokernel, if you know the site url could >> >you please post it? >> >> I've never heard of it. A quick google search netted me the following homepage: >> http://fr.groups.yahoo.com/group/projet-adx/messages >> >> It appears to be a defunct egroups page, although its tough for me to tell >> because the page is in french. (I *tried* to learn French in school, really I >> did...) The list archives aren't defunct. They are only set to members-only mode. Getting an account is pretty painless, then il faut s'inscrire pour acc�der l'archive ... Gerhard -- mail: gerhard bigfoot de registered Linux user #64239 web: http://highqualdev.com public key at homepage public key fingerprint: DEC1 1D02 5743 1159 CD20 A4B6 7B22 6575 86AB 43C0 reduce(lambda x,y:x+y,map(lambda x:chr(ord(x)^42),tuple('zS^BED\nX_FOY\x0b')))