From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=3.0 tests=BAYES_50,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.5-pre1
X-Received: by 2002:a37:80c:: with SMTP id 12mr37097503qki.149.1596070626857;
        Wed, 29 Jul 2020 17:57:06 -0700 (PDT)
X-Received: by 2002:ac8:4719:: with SMTP id f25mr540899qtp.291.1596070626699;
 Wed, 29 Jul 2020 17:57:06 -0700 (PDT)
Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 29 Jul 2020 17:57:06 -0700 (PDT)
In-Reply-To: <e3c51e65-b71e-4623-bd58-c94cdbcc3ba6o@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: google-groups.googlegroups.com; posting-host=2606:a000:1501:717:84ca:74eb:c71c:22c7;
 posting-account=bDZo8goAAADwRO71ouDFRMCIZ96XBCK3
NNTP-Posting-Host: 2606:a000:1501:717:84ca:74eb:c71c:22c7
References: <e3c51e65-b71e-4623-bd58-c94cdbcc3ba6o@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <00cd3aaa-d518-43a2-b321-58d6fae70aebo@googlegroups.com>
Subject: Re: is there a version of unix written in Ada
From: gdotone@gmail.com
Injection-Date: Thu, 30 Jul 2020 00:57:06 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:59596
List-Id: <comp.lang.ada>

On Friday, July 24, 2020 at 6:11:49 PM UTC-4, gdo...@gmail.com wrote:
> is there a unix like OS written completely in Ada?

i don't quite remember where i read C was not intended 
for coding in the million of line, but it has done
some amazing work for something not intended. It 
seems that Ada was intended to handle such massively 
large coding efforts. i guess though an OS unix in 
type maybe done with a 100,000 lines or so. i have wondered
with the language features would using produce a secure
os, with much less need for security updates.

Thanks everyone, it is more than clear Ada can do an OS, from the 
realtime OS links.