Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
opam: Depend on solo5-bindngs-xen >= 0.6.7
Required for solo5__xen_get_gntmap_area().
- Loading branch information