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=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.236.201.106 with SMTP id a70mr456518yho.34.1406844206805; Thu, 31 Jul 2014 15:03:26 -0700 (PDT) X-Received: by 10.140.93.181 with SMTP id d50mr9992qge.0.1406844206785; Thu, 31 Jul 2014 15:03:26 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!v10no3607652qac.1!news-out.google.com!b3ni5177qac.1!nntp.google.com!j15no3675057qaq.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 31 Jul 2014 15:03:26 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=92.109.179.4; posting-account=uePmQwoAAADTqdMkQ5mqQNa8zVpjxCa1 NNTP-Posting-Host: 92.109.179.4 References: <791c07d0-575d-42be-ad5c-219aa3cf7734@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <9509bda5-4429-4e2c-ac97-bc7959257006@googlegroups.com> Subject: Re: seL4 as base of an AdaOS with some Spark proofing? From: gvdschoot@gmail.com Injection-Date: Thu, 31 Jul 2014 22:03:26 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 4407 X-Received-Body-CRC: 2540634084 Xref: news.eternal-september.org comp.lang.ada:21367 Date: 2014-07-31T15:03:26-07:00 List-Id: On Wednesday, July 30, 2014 7:58:33 PM UTC+2, an...@att.net wrote: > seL4 is just another subset of the L4 project, which has nothing to=20 >=20 > do with Ada or an AdaOS. Now, there are a number of Ada OS projects >=20 > which core code are based on the L4 project, like MaRTE (last update=20 >=20 > uses GNAT 2009), RTERMS (2008), and OpenRavencar (based on GNAT 3.13). >=20 >=20 >=20 > For Ada purest, to do a AdaOS, like the one I an working on, the entire= =20 >=20 > code must be written in Ada with exceptions for macros for assembly code= =20 >=20 > (using the Ada Machine_Code package) that extents Ada API to allow=20 >=20 > hardware instructions, such as the CPU's I/O instructions. And some of=20 >=20 > these macros instructions include code used to switch the processor from= =20 >=20 > initial 8/16 bit 8086 state (power up/reset) to a 32-bit protected mode= =20 >=20 > and then detects and if possible switch to 64-bit mode during the boot=20 >=20 > phase. >=20 >=20 >=20 > The AdaOS should be able to handle both 32-bit/64-bit code and maybe a=20 >=20 > some trusted special case protected VM code. As for languages, the=20 >=20 > OS should have Ada as the primary languages. If a secondary language is= =20 >=20 > desired then it's compiler must be written in Ada. This means that=20 >=20 > others projects like openGL should be written in Ada instead of just=20 >=20 > porting the project code to the new AdaOS after a C compiler is=20 >=20 > written in Ada and then binding the code to the AdaOS. >=20 >=20 >=20 > The AdaOS, also should be a stand alone system that can work=20 >=20 > within a virtualization environments with some small limitations=20 >=20 > caused by the VM engine unless the VM is also, written in Ada and=20 >=20 > the AdaOS is the host OS. >=20 >=20 >=20 > Then there's the compiler while GNAT is an OK compiler it will not=20 >=20 > work for the new OS, we need a compiler from the ground up written in=20 >=20 > Ada that can produce code for a number of OS including an AdaOS that=20 >=20 > does not depends on any host OS or a design implementation like GNU=20 >=20 > which is based on C/C++. That way the new Ada compiler could be=20 >=20 > easily ported to the new OS without any other language or groups=20 >=20 > involvement. >=20 >=20 >=20 > But just having an AdaOS will not increase the usage of Ada. This=20 >=20 > might change if and only if the AdaOS was a complete and robust OS=20 >=20 > that could go against Microsoft Windows and Apple's OS X. But=20 >=20 > most people writing an AdaOS normally stop after they finish the=20 >=20 > initial kernel. Which mean an AdaOS will never become robust enough=20 >=20 > to even equal any OS used today. much less compete with those=20 >=20 > OS.=20 >=20 So you want to compete with the big guys? You want to compete with the mult= i billion dollar companies? With what? Ideas? Do you know how many man year= s it takes? Let's just forget the desktop or tablet. These areas are untouc= hable unless you are very lucky. Here is another idea. Let's for instance instead focus on tools that can au= tomatically translate C source code to Ada.