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,start X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit X-Received: by 10.224.198.196 with SMTP id ep4mr21425331qab.3.1357108643845; Tue, 01 Jan 2013 22:37:23 -0800 (PST) Received: by 10.49.38.194 with SMTP id i2mr6781082qek.30.1357108643829; Tue, 01 Jan 2013 22:37:23 -0800 (PST) Path: k2ni4226qap.0!nntp.google.com!ee4no11434580qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 1 Jan 2013 22:37:23 -0800 (PST) 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 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <8430ddcf-5f26-481f-8a62-d4f09963496c@googlegroups.com> Subject: Ada, MILS, and Kernels? From: Diogenes Injection-Date: Wed, 02 Jan 2013 06:37:23 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Date: 2013-01-01T22:37:23-08:00 List-Id: Recently I've had a good bit of success with getting gnat-gcc to cross comp= ile for bare-bones hardware programming.(For doing Kernels, Stand-Alone app= s, etc...) If your reading this, thanks Lucretia, for the tips on the OSDev wiki. Recently I've also ordered the Spark book AND been studying the documentati= on for AADL/Ocarina. Also been researching what's commonly called the "MILS= " architecture. 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. So I'd like to re-implement some of the most liked features of those OSes o= n a small Ada kernel project. Of course "small" here is kind of a relative = term. As you might expect from the above paragraphs, I'm eyeballing the MILS arch= itecture for this project.=20 Because the documentation for the big iron OSes usually does not go into de= tail on their internals, I decided to draw knowledge from another market do= main that often works under similiar constraints. Of course I'm referring t= o real-time safety critical systems. There are dozens of working projects o= ut there for this market, and many of them are in fact Open Source. This leaves me with sort of a dilemma. The MILS architecture limits a proje= ct to 5000 lines of code or less.(If I understood the docs correctly.) Supposing I'm using an exokernel design, is it possible to do a proper kern= el in 5000 lines or less of AADL/SparkAda code? Also, assuming the core kernel and separation kernel are properly done...wh= at sort of features from the mainframe world would be most useful to you or= others in the OSS crowd? Those OSes have 20+ years of engineering behind t= hem, so I need to wittle the feature set down to just a few things that are= doable.=20 I realize this is sort of an open-ended question, but I'm just fishing for = opinions and knowledge at the moment. Once I have an ironclad design I'll p= ost it up. First thing is first though. Need to get the core OS working well. Thanks. Diogenes