[workspace] members = [ "xenstore", "xenevtchn", "xencall", "xenclient" ] resolver = "2"