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.0 required=3.0 tests=BAYES_20,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.5-pre1 X-Received: by 2002:a37:7805:: with SMTP id t5mr1040488qkc.157.1601055117092; Fri, 25 Sep 2020 10:31:57 -0700 (PDT) X-Received: by 2002:a05:620a:3d0:: with SMTP id r16mr1081247qkm.129.1601055116747; Fri, 25 Sep 2020 10:31:56 -0700 (PDT) Path: eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!tr3.eu1.usenetexpress.com!feeder.usenetexpress.com!tr2.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 25 Sep 2020 10:31:56 -0700 (PDT) In-Reply-To: <5f6e0787$0$13555$426a74cc@news.free.fr> Complaints-To: groups-abuse@google.com Injection-Info: google-groups.googlegroups.com; posting-host=47.185.220.67; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 47.185.220.67 References: <00cd3aaa-d518-43a2-b321-58d6fae70aebo@googlegroups.com> <5f6e0787$0$13555$426a74cc@news.free.fr> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <8af21e67-bcb4-4be5-97cc-284a5484d45an@googlegroups.com> Subject: Re: is there a version of unix written in Ada From: Andreas ZEURCHER Injection-Date: Fri, 25 Sep 2020 17:31:57 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:60275 List-Id: On Friday, September 25, 2020 at 10:06:49 AM UTC-5, DrPi wrote: > Le 23/09/2020 =C3=A0 19:39, Olivier Henley a =C3=A9crit :=20 > >> Thanks everyone, it is more than clear Ada can do an OS, from the=20 > >> realtime OS links.=20 > >=20 > > There has been some interesting development lately:=20 > >=20 > > - https://blog.adacore.com/cubit-a-general-purpose-operating-system-in-= spark-ada=20 > > - https://github.com/RavSS/HAVK=20 > > - https://github.com/ajxs/cxos=20 > > - https://archive.fosdem.org/2020/schedule/event/ada_spunky/=20 > >=20 > > Also, you can find a 'probably' complete list here: https://github.com/= ohenley/awesome-ada#OS-and-Kernels=20 > >=20 > > Personally, I think:=20 > >=20 > > a) efforts should be organized around a single project, > Which kind of OS ?=20 > - General purpose ?=20 > - Real-time ?=20 > - Real-time Posix ?=20 > - For microprocessor ?=20 > - For microcontroller ? It would be real-time POSIX with general-purpose time-sharing during the id= le(-from-realtime's-vantage-point) loop. It would be focused primarily on = embedded processors (all 32-bit & 64-bit processors), likely not 8-bit and = 16-bit microcontrollers (although there do exist some 32-bit processors tha= t are categorized as microcontrollers nowadays). The bigger question would= be GPUs & DSPs. > > b) we should find some financing for such a project and=20 That is always the trick: how to have a funding and business model that en= ables a long-term going-concern. Depending on volunteers and donationware = quickly exhausts its limited funding. > > c) a lightweight, but formal design procedure should be put in place.= =20 A guiding committee of like-minded people should be benevolent dictators. = Linux has been successful because it had Linus as benevolent dictator. > > Else, we will live with non-lasting attempts and a C base linux, foreve= r unstable with new holes every 3 months, and some Rust that will inevitabl= y makes its way in.=20 > >=20 > > I do not have the pocket to finance such a project but I could definite= ly project myself as thriving to organize and bridge different developers.= =20 > >=20 > > If by any chance you know of a billionaire that has better ideas than t= rying to go to Mars and/or build a bigger yacht than its neighbor... give h= im my contact. Thx.=20 > >