Kent, I think this Q/A should be added to the FAQ at https://sel4.systems/Info/CAmkES/FAQ.pml
Axel >> Is there any other way in CamkES which will ensure that app1 starts only >> after app2 is completely initialized without using RPC signalling (emit >> and wait) ? How can this dependency be built ? >> > Explicitly ordering components via signalling connectors is currently the > main way for ordering component startups. We've considered adding better > built in support for this in the past but it isn't currently on our > upcoming roadmap. _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
