TS: addProcess works with eventfd

TODO:
    - Test that addProcess and others work with threads.