From: Xavier Petit <xpetit@becoast.fr>
Subject: Re: Could you write a BSD like os in ADA?
Date: Tue, 10 May 2016 01:28:26 +0200
Date: 2016-05-10T01:28:26+02:00 [thread overview]
Message-ID: <57311d1a$0$26263$426a34cc@news.free.fr> (raw)
In-Reply-To: <79e591f0-3c3e-42b2-ad1f-3e59a031531e@googlegroups.com>
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
next prev parent reply other threads:[~2016-05-09 23:28 UTC|newest]
Thread overview: 83+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-05-02 22:51 Could you write a BSD like os in ADA? endlessboomcapitalism
2016-05-03 7:47 ` Dmitry A. Kazakov
2016-05-03 14:29 ` Olivier Henley
2016-05-09 20:14 ` Randy Brukardt
2016-05-09 20:58 ` Dmitry A. Kazakov
2016-05-09 22:26 ` tmoran
2016-05-10 9:45 ` G.B.
2016-05-10 10:04 ` Dmitry A. Kazakov
2016-05-10 10:21 ` G.B.
2016-05-10 10:38 ` Dmitry A. Kazakov
2016-05-10 11:10 ` G.B.
2016-05-10 11:41 ` Xavier Petit
2016-05-10 11:54 ` G.B.
2016-05-10 12:18 ` Bob Butler
2016-05-10 15:10 ` Xavier Petit
2016-05-09 21:05 ` Jeffrey R. Carter
2016-05-10 22:03 ` Randy Brukardt
2016-05-10 23:55 ` Jeffrey R. Carter
2016-08-21 23:31 ` endlessboomcapitalism
2016-08-22 0:18 ` Andrew Shvets
2016-08-22 5:01 ` J-P. Rosen
2016-08-22 8:14 ` Dmitry A. Kazakov
2016-08-22 9:49 ` Bob Broderbund
2016-08-22 23:50 ` John Smith
2016-08-23 0:04 ` Shark8
2016-08-23 8:36 ` Bob Broderbund
2016-08-23 8:43 ` Bob Broderbund
2016-08-23 9:47 ` Dmitry A. Kazakov
2016-08-23 13:11 ` already5chosen
2016-08-24 4:12 ` Nasser M. Abbasi
2016-08-24 7:26 ` Dmitry A. Kazakov
2016-08-24 9:25 ` already5chosen
2016-08-24 12:05 ` Vincent
2016-08-24 15:10 ` Bob Broderbund
2016-08-25 0:20 ` Dennis Lee Bieber
2016-08-25 16:30 ` Niklas Holsti
2016-08-28 1:06 ` VMS and C/Ada, was: " Simon Clubley
2016-08-28 7:05 ` Simon Wright
2017-03-14 10:59 ` gérard Calliet
2017-03-14 14:11 ` Simon Clubley
2017-03-14 15:15 ` Dennis Lee Bieber
2017-03-14 17:07 ` gérard Calliet
2017-03-14 18:36 ` Simon Clubley
2017-03-14 23:12 ` gérard Calliet
2016-08-24 17:40 ` Qun-Ying
2016-08-24 18:25 ` Jeffrey R. Carter
2016-08-28 1:20 ` Simon Clubley
2016-08-28 8:10 ` Bob Broderbund
2016-08-28 8:36 ` Simon Clubley
2016-08-28 8:55 ` Bob Broderbund
2016-08-28 9:31 ` Simon Clubley
2016-08-28 9:44 ` Could you write a BSD like os in Ada? Bob Broderbund
2016-08-24 9:15 ` Could you write a BSD like os in ADA? already5chosen
2016-08-24 15:11 ` Bob Broderbund
2016-08-24 13:00 ` Dennis Lee Bieber
2016-08-24 15:00 ` Bob Broderbund
2016-08-28 1:29 ` [OT] VSI and VMS, was: " Simon Clubley
2016-08-28 8:12 ` Bob Broderbund
2016-08-28 8:43 ` Simon Clubley
2016-08-28 9:00 ` Bob Broderbund
2016-08-28 1:46 ` [OT] " Simon Clubley
2016-08-28 8:20 ` Bob Broderbund
2016-08-28 9:11 ` Simon Clubley
2016-08-23 12:51 ` already5chosen
2016-08-24 0:50 ` Shark8
2016-08-24 11:03 ` Maciej Sobczak
2016-08-24 15:15 ` Bob Broderbund
2016-08-24 15:37 ` already5chosen
2016-08-24 15:53 ` Bob Broderbund
2016-08-24 16:37 ` already5chosen
2016-08-22 11:38 ` J-P. Rosen
2016-08-22 12:10 ` Dmitry A. Kazakov
2016-08-22 13:23 ` J-P. Rosen
2016-08-22 23:14 ` rieachus
2016-05-09 23:28 ` Xavier Petit [this message]
2016-05-10 15:58 ` Istvan Nagy
2016-05-12 22:18 ` phil.clayton
2016-05-14 0:57 ` Simon Clubley
2016-05-14 11:33 ` AdaMagica
2016-05-16 17:37 ` Norman Worth
2016-08-03 15:31 ` Serge Robyns
2016-08-06 23:12 ` Luke A. Guest
2016-08-25 0:00 ` rieachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox