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, REPLYTO_WITHOUT_TO_CC autolearn=no 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 18:56:02 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!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: Ada Microkernel? Date: Fri, 29 Jun 2001 04:32:19 +0200 Organization: T-Online Message-ID: References: <%3H_6.416$Kf3.3173@www.newsranger.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 993779643 01 16921 qBRcSArESRYGZz 010629 01:54:03 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:9229 Date: 2001-06-29T04:32:19+02:00 List-Id: On Thu, 28 Jun 2001 14:21:47 GMT, Ted Dennison wrote: >In article , M. A. Alves says... >> >>> With some friends in France, we'd like to write our own micro kernel. >> >>Of course you are aware of the AdaOS project? (cf. AdaPower.com, the Lab) > >The URL is http://www.adaos.org . However, I believe its a proper OS, not a >microkernel. I also believe that its a debating society, not a real project, but >that's another story... Well said :-) 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')))