• Yathindra Naik's avatar
    - New and Simpler design for event channels · f70a2190
    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
Name
Last commit
Last update
..
libs Loading commit data...
xenstored Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
Makefile.rules Loading commit data...
common.make Loading commit data...