Barrelfish
|
Simple capability storage. More...
Simple capability storage.
Moved from chips in the coordination service in order to get rid of chips. We don't store caps with our get/set API because there is currently no good solution to store caps in the SKB: