From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!cleanfeed1-b.proxad.net!nnrp1-2.free.fr!not-for-mail Subject: Re: Could you write a BSD like os in ADA? Newsgroups: comp.lang.ada References: <79e591f0-3c3e-42b2-ad1f-3e59a031531e@googlegroups.com> From: Xavier Petit Date: Tue, 10 May 2016 01:28:26 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Icedove/38.6.0 MIME-Version: 1.0 In-Reply-To: <79e591f0-3c3e-42b2-ad1f-3e59a031531e@googlegroups.com> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit Message-ID: <57311d1a$0$26263$426a34cc@news.free.fr> Organization: Guest of ProXad - France NNTP-Posting-Date: 10 May 2016 01:28:26 CEST NNTP-Posting-Host: 78.217.21.11 X-Trace: 1462836506 news-4.free.fr 26263 78.217.21.11:40716 X-Complaints-To: abuse@proxad.net Xref: news.eternal-september.org comp.lang.ada:30367 Date: 2016-05-10T01:28:26+02:00 List-Id: I would love to see one of this things : http://wiki.xenproject.org/wiki/Unikernels http://unikernel.org/projects/ “Unikernel” in Ada. And see Linux become what it is in his purest essence : a big bunch of drivers. Until maybe one day, drivers will disappear. Until now I see PC having an hardware teamviewer, buggy secure boot bioses preventing to reinstall OSes (have to extract hardrive), reprogrammable firmwares everywhere. So even the most secure and advanced OS in Ada would be totally transparent to any government. Enjoy. And people are still fighting the closed-source software, while they're entirely loosing the control of their computers... -- Xavier Petit