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.50.73.5 with SMTP id h5mr1529578igv.2.1406883864688; Fri, 01 Aug 2014 02:04:24 -0700 (PDT) X-Received: by 10.140.31.73 with SMTP id e67mr1879qge.30.1406883864579; Fri, 01 Aug 2014 02:04:24 -0700 (PDT) Path: border2.nntp.dca1.giganews.com!nntp.giganews.com!h18no11852753igc.0!news-out.google.com!b3ni5434qac.1!nntp.google.com!v10no3685412qac.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 1 Aug 2014 02:04:24 -0700 (PDT) In-Reply-To: <485a93a1-8920-4139-8563-591dba79d68d@googlegroups.com> 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> <9509bda5-4429-4e2c-ac97-bc7959257006@googlegroups.com> <67392172-e7c5-473b-ab8b-f9f56ed0d71f@googlegroups.com> <485a93a1-8920-4139-8563-591dba79d68d@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <07e88837-4b5f-4856-b17a-06e08ff33821@googlegroups.com> Subject: Re: seL4 as base of an AdaOS with some Spark proofing? From: gvdschoot@gmail.com Injection-Date: Fri, 01 Aug 2014 09:04:24 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: number.nntp.dca.giganews.com comp.lang.ada:188069 Date: 2014-08-01T02:04:24-07:00 List-Id: Talking about a running system. Minix3 is just that.