Closed talex5 closed 4 years ago
xen-gnt's functionality now comes directly from mirage-xen. Also, remove xen-evtchn, which we don't use directly.
xen-gnt
mirage-xen
xen-evtchn
These were added in cae1fd1e912535373db96f682cd703b773314b4c to force vchan to build for Xen, back when it used depopts.
xen-gnt
's functionality now comes directly frommirage-xen
. Also, removexen-evtchn
, which we don't use directly.These were added in cae1fd1e912535373db96f682cd703b773314b4c to force vchan to build for Xen, back when it used depopts.