Re: [seL4] Initialising Camkes App before another dependent Camkes app

[Mcleod, Kent (Data61, Kensington NSW)]

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