mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01: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.