- Removed all the changes from first design
- Note: cap_check is effective on alloc_unbound, bind and send for now
- Config file should list only the domains that needs to establish event channels
- Since Domain-0 has all the backend drivers, we'll need to make a driver domain to test some of the changes
- Next step is to create a driver domain and see what is missing