How can I use 2 components with picoserver socket sync interface

seL4 kernel
1

I define 2 components like this
image
but in fact, in notify_client function, it always call pico_control_emit(1), so we can not signal other process

2

add a picture
image