Merge pull request #45 from hannesm/no-xen
remove mirage-xen-posix cross-compilation rule (unneeded since mirage-xen 6.0.0)
authored by Spiros Eliopoulos and committed by GitHub 5 years ago 700f5b73 3b5e532e