From: "Luke A. Guest" <laguest@archeia.com>
Subject: Re: The Ravenscar profile and capabilities paradigm
Date: Tue, 12 Oct 2021 12:58:48 +0100 [thread overview]
Message-ID: <sk3tc2$1pa0$1@gioia.aioe.org> (raw)
In-Reply-To: 5671d9c0-2535-43f2-82e5-258eddb7c879n@googlegroups.com
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.
next prev parent reply other threads:[~2021-10-12 11:58 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 [this message]
2021-10-12 15:04 ` Doctor Who
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