From: Ad Buijsen <albuijsen@home.invalid>
Subject: Re: Writing an Operating System in Ada
Date: Wed, 13 Jan 2010 19:55:06 +0100
Date: 2010-01-13T19:55:06+01:00 [thread overview]
Message-ID: <240c1$4b4e170b$541ada03$25446@cache3.tilbu1.nb.home.nl> (raw)
In-Reply-To: <hijf5j$pql$1@news.albasani.net>
Leslie wrote:
>
> If possible, also, it would be nice to get away from the "root
> can do anything" paradigm, and its associated inherited
> privileges (crash a root-capable process and steal its
> privileges). It would be nice to see something more like the
> explicit privilege design used by CP in IBM's VM operating
> systems.
A capability-based OS, like Coyotos, perhaps?
The latest version of Genode (announced in this group) supports
components programmed in SPARK; this allows a gentle entry to building
an OS by piecemeal replacement of servers, and possibly even the
microkernel.
Ad Buijsen
next prev parent reply other threads:[~2010-01-13 18:55 UTC|newest]
Thread overview: 67+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-01-12 1:13 Writing an Operating System in Ada Shark8
2010-01-12 3:30 ` Leslie
2010-01-12 7:06 ` Shark8
2010-01-12 8:36 ` Ludovic Brenta
2010-01-12 15:14 ` jonathan
2010-01-12 16:21 ` Colin Paul Gloster
2010-01-12 16:36 ` Shark8
2010-01-12 17:03 ` Colin Paul Gloster
2010-01-12 19:07 ` Tero Koskinen
2010-01-12 9:41 ` Dmitry A. Kazakov
2010-01-12 17:37 ` Shark8
2010-01-12 19:56 ` Dmitry A. Kazakov
2010-01-12 21:21 ` Shark8
2010-01-12 22:39 ` nobody
2010-01-12 22:50 ` Shark8
2010-01-15 22:45 ` nobody
2010-01-19 21:09 ` Shark8
2010-01-12 21:52 ` Maciej Sobczak
2010-01-12 23:26 ` Shark8
2010-01-13 9:17 ` Dmitry A. Kazakov
2010-01-13 20:20 ` Shark8
2010-01-13 20:55 ` Dmitry A. Kazakov
2010-01-13 22:50 ` Shark8
2010-01-14 8:55 ` Dmitry A. Kazakov
2010-01-14 18:01 ` Shark8
2010-01-14 19:04 ` tmoran
2010-01-19 19:07 ` Shark8
2010-01-14 19:53 ` Dmitry A. Kazakov
2010-01-14 21:07 ` Shark8
2010-01-14 21:50 ` Dmitry A. Kazakov
2010-01-15 1:24 ` Randy Brukardt
2010-01-15 8:59 ` Dmitry A. Kazakov
2010-01-19 18:58 ` Shark8
2010-01-19 19:43 ` Dmitry A. Kazakov
2010-01-14 9:40 ` Maciej Sobczak
2010-01-14 10:28 ` Dmitry A. Kazakov
2010-01-14 18:57 ` tmoran
2010-01-14 19:19 ` Dmitry A. Kazakov
2010-01-14 20:33 ` Georg Bauhaus
2010-01-14 21:09 ` Dmitry A. Kazakov
2010-01-14 21:50 ` Maciej Sobczak
2010-01-15 8:37 ` Dmitry A. Kazakov
2010-01-15 21:05 ` Maciej Sobczak
2010-01-15 21:48 ` Dmitry A. Kazakov
2010-01-16 21:18 ` Maciej Sobczak
2010-01-16 22:15 ` Dmitry A. Kazakov
2010-01-18 11:23 ` Georg Bauhaus
2010-01-18 13:50 ` Dmitry A. Kazakov
2010-01-18 15:21 ` Georg Bauhaus
2010-01-18 16:41 ` Dmitry A. Kazakov
2010-01-18 17:17 ` Georg Bauhaus
2010-01-18 18:08 ` Dmitry A. Kazakov
2010-01-19 17:41 ` Writing an Operating System in Ada - now off topic? Leslie
2010-01-13 9:09 ` Writing an Operating System in Ada Georg Bauhaus
2010-01-13 9:27 ` Dmitry A. Kazakov
2010-01-13 3:38 ` Leslie
2010-01-13 12:10 ` Martin
2010-01-13 18:55 ` Ad Buijsen [this message]
2010-01-14 9:12 ` Jean-Pierre Rosen
2010-01-14 10:45 ` Dmitry A. Kazakov
2010-01-14 11:31 ` Jean-Pierre Rosen
2010-01-14 13:47 ` Dmitry A. Kazakov
2010-01-14 18:57 ` tmoran
2010-01-13 4:49 ` Hibou57 (Yannick Duchêne)
2010-01-13 17:29 ` Lucretia
2010-01-13 20:37 ` Shark8
2010-01-16 0:13 ` Lucretia
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox