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,6d608a86e65c95d X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-04-06 08:28:50 PST Path: supernews.google.com!sn-xit-02!sn-xit-04!supernews.com!newsfeed.mesh.ad.jp!newsranger.com!www.newsranger.com!not-for-mail Newsgroups: comp.lang.ada From: Ted Dennison Sender: usenet@www.newsranger.com References: <9ai8dp$cm2$1@nh.pace.co.uk> <9ailip$gtr$1@nh.pace.co.uk> <9akjju$8fg$1@nh.pace.co.uk> Subject: Re: Ada Stuff and some confusion Message-ID: Date: Fri, 06 Apr 2001 15:27:22 GMT NNTP-Posting-Host: 209.208.22.130 X-Complaints-To: abuse@newsranger.com X-Trace: www.newsranger.com 986570842 209.208.22.130 (Fri, 06 Apr 2001 11:27:22 EDT) NNTP-Posting-Date: Fri, 06 Apr 2001 11:27:22 EDT Organization: http://www.newsranger.com Xref: supernews.google.com comp.lang.ada:6570 Date: 2001-04-06T15:27:22+00:00 List-Id: In article <9akjju$8fg$1@nh.pace.co.uk>, Marin David Condic says... > >standalone or possibly in a network. There are other kinds of OS's with >different objectives. From what I can see of AdaOS, there is no intention to >build a kernel that would be acceptable for embedded/realtime work - hence >it is of only peripherial interest to me. That's about where I am too. I'd rather see a real-time Ada OS, but I don't really have time to start such a project myself (at least not for the next 6 months or so...). I do try to keep an ear to the ground though. There's currently an interesting real-time microkernel project ongoing at CMU (http://www.cs.cmu.edu/afs/cs.cmu.edu/project/art-6/www/rtmach.html). Just like GNU/HURD is based on MACH, it ought to be possible to build an (Ada coded) RTOS on top of RT MACH. The sources are available there for downloading, but I don't know how acceptable the licensing terms would be. --- T.E.D. homepage - http://www.telepath.com/dennison/Ted/TED.html home email - mailto:dennison@telepath.com