[cap-talk] Midori in The Register

[James A. Donald]

James A. Donald wrote:
>> I am kind of worried by the references to "managed
>> code"...

Jonathan S. Shapiro wrote:
> So far as I know, managed code refers to code that is
> 
>   (a) type safe (and therefore memory safe)
>   (b) runs in a garbage-collected environment.
> 
> I am not aware that any guarantee stronger than these exists. Have I
> missed something?

The problem is that these guarantees are a little *too* strong for 
device drivers.