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