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.6 required=5.0 tests=BAYES_00,TO_NO_BRKTS_FROM_MSSP 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 07:21:52 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!feed.textport.net!newsranger.com!www.newsranger.com!not-for-mail Newsgroups: comp.lang.ada From: Ted Dennison References: Subject: Re: Ada Microkernel? Message-ID: <%3H_6.416$Kf3.3173@www.newsranger.com> X-Abuse-Info: When contacting newsranger.com regarding abuse please X-Abuse-Info: forward the entire news article including headers or X-Abuse-Info: else we will not be able to process your request X-Complaints-To: abuse@newsranger.com NNTP-Posting-Date: Thu, 28 Jun 2001 10:21:47 EDT Organization: http://www.newsranger.com Date: Thu, 28 Jun 2001 14:21:47 GMT Xref: archiver1.google.com comp.lang.ada:9199 Date: 2001-06-28T14:21:47+00:00 List-Id: 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... --- T.E.D. homepage - http://www.telepath.com/dennison/Ted/TED.html home email - mailto:dennison@telepath.com