[seL4] camkes component consuming two events question.

12 Jan 2020

      Hi sel4 experts,

I started playing around with camkes using signals / events , data providers and connections between 3 different components.
I tried to generate a component that can receive events from two different endpoints by registering a callback for both endpoints.

echo_reg_callback(callback_handler_EchoIn, NULL);
echo1_reg_callback(callback_handler_EchoOut, NULL);

component Echo
{     
    ………...
    consumes TheEvent echo;
    consumes TheEvent echo1;  
    ……………...
}
assembly {
    composition {
        …………..
            connection seL4Notification echo_event_in(from producer.echo, to echo.echo);        
            connection seL4Notification echo_event_out(from consumer.echo1, to echo.echo1);
    ………….
    }

Everything compiles without errors. But, if I start now the simulation I noticed that event .echo1 is never received by the Echo C component.

Also I noticed that the connection seems to be depending on the event name. If I rename the echo event I also miss that event.

So my question: How can I make the second event (echo1) received by the echo C component?

Thanks for your help.
Florian

[seL4] camkes component consuming two events question.

Florian Berenbrinker