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!reader02.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!cleanfeed1-b.proxad.net!nnrp1-2.free.fr!not-for-mail
Subject: Re: is there a version of unix written in Ada
Newsgroups: comp.lang.ada
References: <e3c51e65-b71e-4623-bd58-c94cdbcc3ba6o@googlegroups.com>
 <00cd3aaa-d518-43a2-b321-58d6fae70aebo@googlegroups.com>
 <db65f550-c1d9-4ddb-b128-7e4e9c1f818bn@googlegroups.com>
From: DrPi <314@drpi.fr>
Date: Fri, 25 Sep 2020 17:06:40 +0200
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
 Thunderbird/78.2.2
MIME-Version: 1.0
In-Reply-To: <db65f550-c1d9-4ddb-b128-7e4e9c1f818bn@googlegroups.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: fr
Content-Transfer-Encoding: 8bit
Message-ID: <5f6e0787$0$13555$426a74cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 25 Sep 2020 17:06:47 CEST
NNTP-Posting-Host: 82.65.30.55
X-Trace: 1601046407 news-3.free.fr 13555 82.65.30.55:51831
X-Complaints-To: abuse@proxad.net
Xref: reader02.eternal-september.org comp.lang.ada:60272
List-Id: <comp.lang.ada>

Le 23/09/2020 à 19:39, Olivier Henley a écrit :
>> Thanks everyone, it is more than clear Ada can do an OS, from the
>> realtime OS links.
> 
> There has been some interesting development lately:
> 
> - https://blog.adacore.com/cubit-a-general-purpose-operating-system-in-spark-ada
> - https://github.com/RavSS/HAVK
> - https://github.com/ajxs/cxos
> - https://archive.fosdem.org/2020/schedule/event/ada_spunky/
> 
> Also, you can find a 'probably' complete list here: https://github.com/ohenley/awesome-ada#OS-and-Kernels
> 
> Personally, I think:
> 
> a) efforts should be organized around a single project,
Which kind of OS ?
- General purpose ?
- Real-time ?
- Real-time Posix ?
- For microprocessor ?
- For microcontroller ?

> b) we should find some financing for such a project and
> c) a lightweight, but formal design procedure should be put in place.
> 
> Else, we will live with non-lasting attempts and a C base linux, forever unstable with new holes every 3 months, and some Rust that will inevitably makes its way in.
> 
> I do not have the pocket to finance such a project but I could definitely project myself as thriving to organize and bridge different developers.
> 
> If by any chance you know of a billionaire that has better ideas than trying to go to Mars and/or build a bigger yacht than its neighbor... give him my contact. Thx.
>