mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-02 17:21:13 +00:00
a528aa097a
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.