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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,8623fab5750cd6aa X-Google-Attributes: gid103376,public Path: g2news1.google.com!news1.google.com!news.glorb.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local1.nntp.dca.giganews.com!nntp.comcast.com!news.comcast.com.POSTED!not-for-mail NNTP-Posting-Date: Wed, 09 Jun 2004 15:51:26 -0500 Date: Wed, 09 Jun 2004 16:51:25 -0400 From: "Robert I. Eachus" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Improving Ada's image - Was: 7E7 Flight Controls Electronics References: <40b9c99e$0$268$edfadb0f@dread16.news.tele.dk> <40ba315a$0$254$edfadb0f@dread16.news.tele.dk> <04udnR-eHNChzSbdRVn-vw@gbronline.com> <7J0xc.7371$8k4.269106@news20.bellglobal.com> <1086630278.542788@master.nyc.kbcfp.com> <8xlxc.27603$sS2.845496@news20.bellglobal.com> In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: NNTP-Posting-Host: 24.147.90.114 X-Trace: sv3-htcvUp0NJ5iiKSMBAMxAi+Db5j14X1dKy4AQceoxE49ZTFKLsIaAjh14xExLDx4t/quxMJbs9M4HLqc!vrou8fUAeB2TGB7+pviUuRd/0tZi0esDH+xtpv3DaVbQ0qT9MYQ92qVbHoO1Wg== X-Complaints-To: abuse@comcast.net X-DMCA-Complaints-To: dmca@comcast.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.1 Xref: g2news1.google.com comp.lang.ada:1331 Date: 2004-06-09T16:51:25-04:00 List-Id: Marius Amado Alves wrote: > > ... was that writing the kernel, > >> given a good Ada compiler that targeted the bare metal was no big >> deal. In fact we spent a lot more time (order of 10x) defining the >> kernel interface than in implementing it. > > > Is this work shareable? Does it have a name? Does AdaOS know it? Short answer: No. The work was done on a classified project, and although I was able to bring some of the work out from behind the veil, the kernel was a definite no-no. The fear is that if bugs are found, then the bad guys could exploit them in a combat situation. In practice that is much more applicable to the radar portion of the software, and I can't imagine that today's potential enemies have the technical knowhow to exploit any weaknesses, but rules are rules. However, you could check on PCTE. That is a published standard, and it could save you lots of effort on building a useful Ada only OS. (Of course, any OS is going to need a few instructions that are not available in any programming language directly. But I think GNAT will let you write them as code-inserts. -- Robert I. Eachus "The terrorists rejoice in the killing of the innocent, and have promised similar violence against Americans, against all free peoples, and against any Muslims who reject their ideology of murder. Their barbarism cannot be appeased, and their hatred cannot be satisfied. There's only one way to deal with terror: We must confront the enemy and stay on the offensive until these killers are defeated." -- George W. Bush