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