From: Doctor Who <doc@tardis.org>
Subject: Re: The Ravenscar profile and capabilities paradigm
Date: Tue, 12 Oct 2021 05:19:41 +0200 [thread overview]
Message-ID: <klv9mgd5v5876pt32a9mu4v0a3mmvt160o@4ax.com> (raw)
In-Reply-To: 1ls9mg5g8klqjqbclgb10dhj3gpvotj0h4@4ax.com
On Tue, 12 Oct 2021 04:29:42 +0200, Doctor Who <doc@tardis.org> wrote:
>On Tue, 12 Oct 2021 01:45:40 +0100, "Luke A. Guest"
><laguest@archeia.com> wrote:
>
>>On 11/10/2021 20:50, Doctor Who wrote:
>>> On Mon, 11 Oct 2021 20:36:46 +0100, "Luke A. Guest"
>>> <laguest@archeia.com> wrote:
>>>
>>>> On 11/10/2021 20:25, Doctor Who wrote:
>>>>> On Mon, 11 Oct 2021 15:48:37 +0100, "Luke A. Guest"
>>>>> <laguest@archeia.com> wrote:
>>>>>
>>>>>> On 11/10/2021 14:33, Doctor Who wrote:
>>>>>>> Hello,
>>>>>>> someone knows how to introduce the capabilities paradigm in Ada,
>>>>>>> specifically for programs written using the Ravenscar profile ?
>>>>>>>
>>>>>>>
>>>>>>
>>>>>> Capabilities are just a set of operations that an object / user can
>>>>>> perform, or not. So, it's merely a bitset. A bitset which can form
>>>>>> derived bitsets.
>>>>>>
>>>>>
>>>>> no it is another thing,
>>>>> https://en.wikipedia.org/wiki/Capability-based_security
>>>>>
>>>>
>>>> I know what it is. It is still a set of bits, or, permissions, or
>>>> capabilities. The capabilities are usually provided by the OS services.
>>>>
>>>> But as you didn't specify whether you wanted to map onto an existing OS'
>>>> capabilities or if you wanted to implement your own, I went with the latter.
>>>
>>> there isn't any existing OS that provides capability-security from the
>>> ground up, I intend to implement my own.
>>>
>>
>>CapOS/KeyOS don't exist then?
>>
>>Windows has capabilities.
>>
>>Pretty sure iOS has them too.
>
>
>only CapROS at the moment, KeyKOS only survives as an ancestor
>reference to CapROS and Coyotos.
>
>But Coyotos development has been sleeping for years now, and CapROS is
>starting to revive only now.
see the discussion here
https://groups.google.com/g/cap-talk/c/ThxbBiMcyFk/m/DnqbkZWGAQAJ
>
>But yes, I would chose CapROS now.
next prev parent reply other threads:[~2021-10-12 3:19 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 [this message]
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
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