-
When the last capability to a memory object goes away, the object will no longer be in the microkernel's capability system. Remove it from the memory interval tree.
659122b2
When the last capability to a memory object goes away, the object will no longer be in the microkernel's capability system. Remove it from the memory interval tree.