• 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