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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3e2839f528cc1c40
X-Google-Attributes: gid103376,public
From: Chris Morgan <cm@mihalis.net>
Subject: Re: Project: FreeOS
Date: 2000/01/22
Message-ID: <871z7ankwk.fsf@think.mihalis.net>#1/1
X-Deja-AN: 576171250
Sender: cm@think.mihalis.net
References: <387C8CB3.1276637F@icn.siemens.de>
 <85j75o$ofk$1@news08.btx.dtag.de> <387F0B20.2FC5F945@icn.siemens.de>
 <m3hfgg4w1w.fsf@kiuk0156.chembio.ntnu.no> <85nek0$j9j4@ftp.kvaerner.com>
 <3884AEC8.2B12780C@earthlink.net> <m3ya9mo25y.fsf@kiuk0156.chembio.ntnu.no>
 <38874C2E.D10B2825@home.com>
Organization: Linux Hackers Unlimited
X-Server-Date: 22 Jan 2000 16:14:34 GMT
Newsgroups: comp.lang.ada
Date: 2000-01-22T16:14:34+00:00
List-Id: <comp.lang.ada>

Bryce Bardin <bbardin@home.com> writes:

> Existence proof:
> 
> The F22 software (written in Ada) runs on network of processors using an 
> OS which is itself written in Ada.

So does the UKRN submarine command system (where it hasn't been
upgraded to Ada and C++ on Solaris yet). Also the UK Type 23 Frigate
system. 

-- 
Chris Morgan <cm at mihalis.net>                  http://mihalis.net