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