diff --git a/.travis.yml b/.travis.yml index 1ca5955..074c1cb 100644 --- a/.travis.yml +++ b/.travis.yml @@ -19,4 +19,4 @@ addons: - camlp4-extra - time env: - - FORK_USER=talex5 FORK_BRANCH=unikernel OCAML_VERSION=4.02 MIRAGE_BACKEND=xen PINS="mirage-clock-xen:https://github.com/mirage/mirage-clock.git mirage-xen:https://github.com/talex5/mirage-platform.git#mm mirage-qubes:https://github.com/talex5/mirage-qubes.git mirage-nat:https://github.com/talex5/mirage-nat.git#simplify-checksum tcpip:https://github.com/mirage/mirage-tcpip.git mirage-net-xen:https://github.com/talex5/mirage-net-xen.git#disconnect" + - FORK_USER=talex5 FORK_BRANCH=unikernel OCAML_VERSION=4.02 MIRAGE_BACKEND=xen PINS="mirage-clock-xen:https://github.com/mirage/mirage-clock.git mirage-xen:https://github.com/talex5/mirage-platform.git#mm mirage-nat:https://github.com/talex5/mirage-nat.git#simplify-checksum tcpip:https://github.com/mirage/mirage-tcpip.git mirage-net-xen:https://github.com/talex5/mirage-net-xen.git#disconnect" diff --git a/README.md b/README.md index 81405d8..d39bfd9 100644 --- a/README.md +++ b/README.md @@ -23,7 +23,6 @@ To build (tested by creating a fresh Fedora 23 AppVM in Qubes): opam pin add -y mirage-clock-xen https://github.com/mirage/mirage-clock.git opam pin add -y mirage-net-xen 'https://github.com/talex5/mirage-net-xen.git#disconnect' opam pin add -y tcpip https://github.com/mirage/mirage-tcpip.git - opam pin add -y mirage-qubes https://github.com/talex5/mirage-qubes.git opam pin add -y mirage-nat 'https://github.com/talex5/mirage-nat.git#simplify-checksum' opam install mirage