- Event channels are alloc'ed and capabilties are granted.
- Tested for 2 domains which want to communicate with each other.
- Need to introduce a new event channel state so that we can use
  the already allocated capability event channels.