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: a07f3367d7,b68d8fd1aa42861a X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit X-Received: by 10.66.84.164 with SMTP id a4mr6420755paz.26.1357500886454; Sun, 06 Jan 2013 11:34:46 -0800 (PST) Received: by 10.49.96.196 with SMTP id du4mr10067876qeb.37.1357500886389; Sun, 06 Jan 2013 11:34:46 -0800 (PST) Path: s9ni85391pbb.0!nntp.google.com!f6no8660745pbd.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sun, 6 Jan 2013 11:34:46 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=75.48.217.169; posting-account=-WG8VgoAAAAlWewKFi0J7zSTMYXZyyK3 NNTP-Posting-Host: 75.48.217.169 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: Diogenes Injection-Date: Sun, 06 Jan 2013 19:34:46 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Date: 2013-01-06T11:34:46-08:00 List-Id: On Saturday, January 5, 2013 10:47:19 PM UTC-5, brian catlin wrote: =20 > Really? Check out the OpenVMS Internals and Data Structures books. Also t= he 6th edition of the Windows Internals books contain very detailed informa= tion (full disclosure: I wrote many of the updates). You'll notice that the= two operating systems are very, very similar because they were architected= by the same person (Dave Cutler). >=20 >=20 >=20 > If I were you, I'd first focus on creating a portable Ada Run Time enviro= nment (exceptions!), then add operating system layers on top of that. >=20 > -Brian While VMS is part of my fishing expedition, I wasn't referring exclusively = to that. I'm also reading up on VME, which in many ways is even more modern= than modern OSes. VME is currently owned by Fujitsu corp; and getting the = docs looks like it might be a little pricey. But I'm still searching. Yeah, a portable Ada Run Time does seem to be in need these days. Of course= an Ada Runtime Environment would be an OS layer on top of an exokernel. Fortunately there are good examples to start from.(OpenRavenscar, RTEMS, To= yLovelace, etc..) Thanks for the pointers. Diogenes