[cap-talk] 'Destroy' vs 'Sever'

[Charles Landau]

At 11:07 PM -0800 11/27/07, Jed Donnelley wrote:
>At 05:03 PM 11/27/2007, Charles Landau wrote:
>  >In KeyKOS/EROS/CapROS, you call a SpaceBank saying "Sever this
>>node/page that you created".
>
>When you say "call a SpaceBank", using what capability?
>Not the node/page capability apparently.  Is there a
>separate 'SpaceBank' capability that is used for this
>communication?

Yes. It's the capability you use to allocate new nodes/pages.


I'm getting the sense that existing code doesn't use Sever, and uses 
are limited, so it's probably not important to support it.