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=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Path: eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: is there a version of unix written in Ada
Date: Mon, 27 Jul 2020 00:15:52 +0200
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <rfkvao$nvt$1@dont-email.me>
References: <e3c51e65-b71e-4623-bd58-c94cdbcc3ba6o@googlegroups.com>
 <27b1bda0-bf22-4bd1-a5f9-2085c8ff2014n@googlegroups.com>
 <rfkmhc$1k12$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 26 Jul 2020 22:15:52 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="84aae09eb0512ea0f9ea7734e20ae1cc";
	logging-data="24573"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18cfDFNdq6HEQploPEtCZxu2CkzWbrYVgs="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.10.0
Cancel-Lock: sha1:TG58cK/H+ILYe5bngOP8RUJaRhU=
In-Reply-To: <rfkmhc$1k12$1@gioia.aioe.org>
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:59532
List-Id: <comp.lang.ada>

On 7/26/20 9:45 PM, Stéphane Rivière wrote:
> 
> - The last RTEMS 3.2.1 Ada sources (yes... old RTEMS releases are
> offered in two flavors : Ada and C ) comes with docs & manuals.

Marte OS implements Minimal Real-Time POSIX.13 in Ada, so it should be Unix-like.

https://marte.unican.es/

The same group recently announed M2OS, which is also in Ada, but not Unix-like.

https://m2os.unican.es/

-- 
Jeff Carter
"Drown in a vat of whiskey. Death, where is thy sting?"
Never Give a Sucker an Even Break
106