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 04:29:42 +0200	[thread overview]
Message-ID: <1ls9mg5g8klqjqbclgb10dhj3gpvotj0h4@4ax.com> (raw)
In-Reply-To: <sk2ltu$170a$1@gioia.aioe.org>

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.

But yes, I would chose CapROS now.

  parent reply	other threads:[~2021-10-12  2:29 UTC|newest]

Thread overview: 31+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-10-11 13:33 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 [this message]
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
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