Barrelfish
capstorage.c File Reference

Simple capability storage. More...

Detailed Description

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:

  1. It's easy for clients to change cap info in SKB and the server does cap_delete() on the corrupted data in case a capability is retrieved
  2. In case we store it as records we may need to depend on the implementation of caprefs.