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!fdn.fr!proxad.net!feeder1-2.proxad.net!cleanfeed2-a.proxad.net!nnrp1-1.free.fr!not-for-mail Newsgroups: comp.lang.ada References: <00cd3aaa-d518-43a2-b321-58d6fae70aebo@googlegroups.com> <5f6e0787$0$13555$426a74cc@news.free.fr> <8af21e67-bcb4-4be5-97cc-284a5484d45an@googlegroups.com> From: DrPi <314@drpi.fr> Subject: Re: is there a version of unix written in Ada Date: Sat, 26 Sep 2020 10:50:49 +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: <8af21e67-bcb4-4be5-97cc-284a5484d45an@googlegroups.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit Message-ID: <5f6f00ea$0$4047$426a34cc@news.free.fr> Organization: Guest of ProXad - France NNTP-Posting-Date: 26 Sep 2020 10:50:50 CEST NNTP-Posting-Host: 82.65.30.55 X-Trace: 1601110250 news-4.free.fr 4047 82.65.30.55:51543 X-Complaints-To: abuse@proxad.net Xref: reader02.eternal-september.org comp.lang.ada:60279 List-Id: Le 25/09/2020 à 19:31, Andreas ZEURCHER a écrit : > On Friday, September 25, 2020 at 10:06:49 AM UTC-5, DrPi wrote: >> 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 ? > > It would be real-time POSIX with general-purpose time-sharing during the idle(-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 that are categorized as microcontrollers nowadays). The bigger question would be GPUs & DSPs. If the OS is micro-kernel based, there is no concern about GPUs & DSPs drivers as they are standard processes (running in user mode). My "ideal" real-time POSIX OS would be a open source QNX. Written in Ada, of course ;) > >>> b) we should find some financing for such a project and > > That is always the trick: how to have a funding and business model that enables 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. > > 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, 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. >>>