[cap-talk] Midori in The Register

[Kenneth Hamer-Hodges]

> -----Original Message-----
> From: cap-talk-bounces at mail.eros-os.org [mailto:cap-talk-
> bounces at mail.eros-os.org] On Behalf Of James A. Donald
> Sent: Tuesday, August 05, 2008 8:53 PM
> To: General discussions concerning capability systems.
> Subject: Re: [cap-talk] Midori in The Register
> 
> 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.
[kjhh] 
Not so if the system is typed right down to the lowest level. A device
driver can be just another abstraction.
k 
> 
> _______________________________________________
> cap-talk mailing list
> cap-talk at mail.eros-os.org
> http://www.eros-os.org/mailman/listinfo/cap-talk