Barrelfish
|
Flounder support code for interconnects with indirect (via monitor) cap transfer. More...
Data Structures | |
struct | flounder_cap_state |
State for indirect (via monitor) cap tx/rx machinery. More... | |
Flounder support code for interconnects with indirect (via monitor) cap transfer.