comp.lang.ada
 help / color / mirror / Atom feed
From: Doctor Who <doc@tardis.org>
Subject: Re: The Ravenscar profile and capabilities paradigm
Date: Tue, 12 Oct 2021 17:04:40 +0200	[thread overview]
Message-ID: <tu8bmgh4mafdmnaruharo6e8l87f0tae37@4ax.com> (raw)
In-Reply-To: sk3tc2$1pa0$1@gioia.aioe.org

On Tue, 12 Oct 2021 12:58:48 +0100, "Luke A. Guest"
<laguest@archeia.com> wrote:

>
>On 12/10/2021 12:51, Richard Iswara wrote:
>
>>>>> there isn't any existing OS that provides capability-security from the
>>>>> ground up, I intend to implement my own.
>>>>>
>>>> seL4? The whitepaper includes the proofs also.
>>> eh yes, I forgot seL4, however it isn't much used I think
>> Has Qualcomm and Apple iOS abandoned it when it changed from OKL4 to seL4?
>> I thought they use it for isolating their modem firmware from general OS.
>> 
>
>The biggest flaw in L4 I found is that sigma0 cannot claim memory back 
>from processes when it runs out. There was apparently work being done, 
>but I don't know if they did it.


in any case CapROS development is starting again and it promises to be
really interesting

  reply	other threads:[~2021-10-12 15:04 UTC|newest]

Thread overview: 31+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-10-11 13:33 The Ravenscar profile and capabilities paradigm Doctor Who
2021-10-11 14:48 ` Luke A. Guest
2021-10-11 19:25   ` Doctor Who
2021-10-11 19:36     ` Luke A. Guest
2021-10-11 19:50       ` Doctor Who
2021-10-12  0:45         ` Luke A. Guest
2021-10-12  0:47           ` Luke A. Guest
2021-10-12  2:31             ` Doctor Who
2021-10-12  2:29           ` Doctor Who
2021-10-12  2:35             ` Doctor Who
2021-10-12  3:19             ` Doctor Who
2021-10-12  5:17         ` Richard Iswara
2021-10-12  6:42           ` Doctor Who
2021-10-12 11:51             ` Richard Iswara
2021-10-12 11:58               ` Luke A. Guest
2021-10-12 15:04                 ` Doctor Who [this message]
2021-10-11 15:32 ` Simon Wright
2021-10-11 19:24   ` Doctor Who
2021-10-12 15:01     ` Shark8
2021-10-12 15:02       ` Luke A. Guest
2021-10-12 15:33         ` Shark8
2021-10-12 15:43           ` Luke A. Guest
2021-10-12 18:21             ` Doctor Who
2021-10-12 18:24               ` Doctor Who
2021-10-14  3:46       ` Doctor Who
2021-10-14 15:16         ` Shark8
2021-10-14 16:38           ` Doctor Who
2021-10-14 21:20             ` Simon Wright
2021-10-15 11:21               ` Doctor Who
2021-10-11 15:48 ` Shark8
2021-10-11 19:25   ` Doctor Who
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox