Permalink
Commits on Jun 16, 2017
  1. Merge pull request #191 from djs55/xen-io-page

    xen: link against io-page-xen again
    committed on GitHub Jun 16, 2017
  2. Add reasoning behind io-page

    Signed-off-by: David Scott <dave@recoil.org>
    committed Jun 16, 2017
  3. Regenerate OASIS

    Signed-off-by: David Scott <dave@recoil.org>
    committed Jun 16, 2017
  4. unix: link against io-page-unix again

    Unfortunately unikernels which don't use any device drivers (no network,
    no block) fail to link because:
    
    - mirage-types-lwt is in the `common` set linked into all Unikernels
    - mirage-types-lwt depends on mirage-block-lwt and mirage-net-lwt
    - mirage-block-lwt depends on io-page
    - io-page needs either io-page-unix or io-page-xen (or mirage-solo5) to
      link
    
    Removing the dependency on io-page is a much bigger job than anticipated.
    
    Signed-off-by: David Scott <dave@recoil.org>
    committed Jun 16, 2017
  5. Prepare to release 3,0.3

    Signed-off-by: David Scott <dave@recoil.org>
    committed Jun 16, 2017
  6. Regenerate OASIS

    Signed-off-by: David Scott <dave@recoil.org>
    committed Jun 16, 2017
  7. xen: link against io-page-xen again

    Unfortunately unikernels which don't use any device drivers (no network,
    no block) fail to link because:
    
    - mirage-xen depends on xen-gnt
    - xen-gnt depends on io-page (to represent page mappings)
    - io-page needs either io-page-unix or io-page-xen (or mirage-solo5) to
      link
    
    Unfortunately we can't add io-page-xen as a dependency of xen-gnt because
    that code has to work on Unix as well as Xen.
    
    Unfortunately xen-gnt is a dependency of mirage-xen because of the need
    to inform the grant table code when the domain is suspended and resumed.
    
    If we can break the link between mirage-xen and xen-gnt then we can remove
    io-page-xen again. This will probably involve adding some kind of callback
    `pre_suspend` `post_resume` mechanism which `xen-gnt` can register with,
    if it is linked.
    
    As a temporary measure, this patch puts the io-page-xen back into mirage-xen.
    
    Signed-off-by: David Scott <dave@recoil.org>
    committed Jun 16, 2017
  8. Merge pull request #190 from djs55/remove-xen-iopage

    xen: remove use of Io_page.t
    committed on GitHub Jun 16, 2017
  9. Prepare to release 3.0.2

    Signed-off-by: David Scott <dave@recoil.org>
    committed Jun 16, 2017
  10. Regenerate OASIS

    Signed-off-by: David Scott <dave@recoil.org>
    committed Jun 16, 2017
  11. xen: represent the start_info, xenstore pages as Cstruct.t

    Note that users typically immediately wrapped the Io_page.t into a
    Cstruct.t anyway to parse the contents.
    
    This removes the dependency on Io_page.t.
    
    Signed-off-by: David Scott <dave@recoil.org>
    committed Jun 16, 2017
  12. Merge pull request #188 from hannesm/no-io-page

    mirage-unix: remove superfluous io-page* dependency
    committed on GitHub Jun 16, 2017
Commits on Jun 15, 2017
Commits on May 29, 2017
  1. Merge pull request #186 from djs55/prepare.3.0.1

    Prepare to release v3.0.1
    committed on GitHub May 29, 2017
  2. Regenerate OASIS

    Signed-off-by: David Scott <dave@recoil.org>
    committed May 29, 2017
  3. Prepare to release v3.0.1

    Signed-off-by: David Scott <dave@recoil.org>
    committed May 29, 2017
  4. Merge pull request #185 from djs55/minor-fixes

    Fix appveyor, tidy CHANGES and LICENSE
    committed on GitHub May 29, 2017
  5. Rename LICENSE to LICENSE.md

    This is more topkg-friendly.
    
    Signed-off-by: David Scott <dave@recoil.org>
    committed May 29, 2017
  6. CHANGES: make more topkg-friendly

    - use `##` prefix before each release
    - use `(YYYY-MM-DD)` date format
    - call the file `CHANGES.md`
    
    Signed-off-by: David Scott <dave@recoil.org>
    committed May 29, 2017
  7. CHANGES: v3.0.0 was released on 2017-01-24

    (according to the github releases page)
    
    Signed-off-by: David Scott <dave@recoil.org>
    committed May 29, 2017
  8. appveyor: use upstream version

    Hopefully this fixes the `jq` problem and is more future-proof.
    
    Signed-off-by: David Scott <dave@recoil.org>
    committed May 29, 2017
  9. Merge pull request #184 from djs55/jbuilder

    Use new shared-memory-ring-lwt library
    committed on GitHub May 29, 2017
  10. Regenerate OASIS

    Signed-off-by: David Scott <dave@recoil.org>
    committed May 29, 2017
  11. mirage-xen: switch to shared-memory-ring-lwt

    The package `shared-memory-ring-lwt` contains the old
      - shared-memory-ring.lwt
      - shared-memory-ring.xenstore
      - shared-memory-ring.console
    
    Signed-off-by: David Scott <dave@recoil.org>
    committed May 29, 2017
Commits on Jan 23, 2017
  1. Merge pull request #183 from yomimono/prepare-3.0.0

    update CHANGES for 3.0.0
    yomimono committed on GitHub Jan 23, 2017
  2. update CHANGES for 3.0.0

    yomimono committed Jan 23, 2017
Commits on Jan 19, 2017
  1. Merge pull request #182 from yomimono/auto-opam-update-1484773711

    pull newer opam from mirage-dev
    yomimono committed on GitHub Jan 19, 2017
Commits on Jan 18, 2017
  1. Merge pull request #178 from yomimono/os-type-xen

    for compiler version 4.04, set OCAML_OS_TYPE to "xen"
    yomimono committed on GitHub Jan 18, 2017
Commits on Dec 23, 2016
  1. Merge pull request #181 from samoht/master

    xen: really remove the dependency to mirage-types
    samoht committed on GitHub Dec 23, 2016
  2. xen: update autogen files ..

    samoht committed Dec 23, 2016
Commits on Dec 16, 2016
  1. Merge pull request #180 from yomimono/update-appveyor

    remove diffutils from appveyor package list
    yomimono committed on GitHub Dec 16, 2016