-
Yathindra Naik authored
- 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
f70a2190