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-Thread: 103376,b68d8fd1aa42861a X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit X-Received: by 10.68.253.99 with SMTP id zz3mr402844pbc.4.1357444039637; Sat, 05 Jan 2013 19:47:19 -0800 (PST) X-Received: by 10.50.106.225 with SMTP id gx1mr691476igb.8.1357444039599; Sat, 05 Jan 2013 19:47:19 -0800 (PST) Path: s9ni79141pbb.0!nntp.google.com!b8no12371304pbd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sat, 5 Jan 2013 19:47:19 -0800 (PST) In-Reply-To: <8430ddcf-5f26-481f-8a62-d4f09963496c@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=70.95.74.29; posting-account=gMAXfwoAAAA68ecE_HyeMd1oSNR8MnSb NNTP-Posting-Host: 70.95.74.29 References: <8430ddcf-5f26-481f-8a62-d4f09963496c@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Ada, MILS, and Kernels? From: brian catlin Injection-Date: Sun, 06 Jan 2013 03:47:19 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Date: 2013-01-05T19:47:19-08:00 List-Id: On Tuesday, 1 January 2013 20:37:23 UTC-10, Diogenes wrote: > Recently I've had a good bit of success with getting gnat-gcc to cross > = The other half of my research has been in Mainframe OSes. Specifically VMS = and VME. Unfortunately, except for a couple small projects that seem to be = dying slowly, there isn't much source code available as far as the internal= s for these OS's. Obviously that's because they're proprietary; and I can't= really blame HP or Fujitsu for holding those cards close to their chest. >=20 Really? Check out the OpenVMS Internals and Data Structures books. Also the= 6th edition of the Windows Internals books contain very detailed informati= on (full disclosure: I wrote many of the updates). You'll notice that the t= wo operating systems are very, very similar because they were architected b= y the same person (Dave Cutler). If I were you, I'd first focus on creating a portable Ada Run Time environm= ent (exceptions!), then add operating system layers on top of that. -Brian