3 Oct
2019
3 Oct
'19
10:40 p.m.
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.