-
- Downloads
Weaken cap_async_cap cteDeleteOne assertions.
It's true that the interrupt node must contain async endpoint caps, but we never proved the relevant invariant, and it doesn't change much.
Loading
Please register or sign in to comment
It's true that the interrupt node must contain async endpoint caps, but we never proved the relevant invariant, and it doesn't change much.