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
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
