mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 03:40:15 +00:00
This patch introduces a shortcut for conditional session routes of the form '<if-arg key="label" value="..."/>'. With this change, the label can be directly specified as 'label' attribute of an '<any-service>' or a '<service>' node. The '<if-arg>' mechanism was not documented anyway and I hope to be able to ultimately remove it.