[seL4] camkes component consuming two events question.

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(call

[seL4] Initializing of the sel4 tutorials fails because of missing the CMakeLists.txt

Hello, I tried to initialize the simple hello-word example and I get the following error. Maybe someone has an idea why the CmakeLists is not generated.   ./init --tut hello-world --verbose INFO:sh.command:: starting process DEBUG:sh.command.process:.: started process INFO:sh.command:: proces