use mirage infrastructure

Author: hannesm

.travis-ci.sh

@@ -2,7 +2,7 @@ bash -ex .travis-opam.sh
 
 eval `opam config env`
 opam install mirage -y
-git clone -b sleep-nsec https://github.com/hannesm/mirage-skeleton.git
+git clone -b mirage-dev https://github.com/mirage/mirage-skeleton.git
 cd mirage-skeleton
 MODE=unix make
 MODE=xen  make

.travis.yml

@@ -5,7 +5,7 @@ script: bash -ex .travis-ci.sh
 env:
   global:
   - UPDATE_GCC_BINUTILS=1
-  - EXTRA_REMOTES="git://github.com/hannesm/mirage-dev.git#sleep-nsec"
+  - EXTRA_REMOTES="git://github.com/mirage/mirage-dev.git"
   matrix:
   - PACKAGE=mirage OCAML_VERSION=4.03
   - PACKAGE=mirage-types OCAML_VERSION=4.03