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