Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: mirage/mirage
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 75f0bc33d48e
Choose a base ref
...
head repository: mirage/mirage
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: ba4cc82de8d0
Choose a head ref
  • 2 commits
  • 5 files changed
  • 2 contributors

Commits on Nov 6, 2018

  1. Copy the full SHA
    611f0ce View commit details

Commits on Nov 14, 2018

  1. Merge pull request #940 from hannesm/no-io-page

    remove io-page configuration
    avsm authored Nov 14, 2018
    Copy the full SHA
    ba4cc82 View commit details
Showing with 0 additions and 41 deletions.
  1. +0 −4 lib/mirage.ml
  2. +0 −13 lib/mirage.mli
  3. +0 −18 lib/mirage_impl_io_page.ml
  4. +0 −5 lib/mirage_impl_io_page.mli
  5. +0 −1 lib/mirage_impl_kv_ro.ml
4 changes: 0 additions & 4 deletions lib/mirage.ml
Original file line number Diff line number Diff line change
@@ -42,10 +42,6 @@ type qubesdb = Mirage_impl_qubesdb.qubesdb
let qubesdb = Mirage_impl_qubesdb.qubesdb
let default_qubesdb = Mirage_impl_qubesdb.default_qubesdb

type io_page = Mirage_impl_io_page.io_page
let io_page = Mirage_impl_io_page.io_page
let default_io_page = Mirage_impl_io_page.default_io_page

type time = Mirage_impl_time.time
let time = Mirage_impl_time.time
let default_time = Mirage_impl_time.default_time
13 changes: 0 additions & 13 deletions lib/mirage.mli
Original file line number Diff line number Diff line change
@@ -148,19 +148,6 @@ val custom_console: string -> console impl



(** {2 Memory allocation interface} *)

type io_page
(** Abstract type for page-aligned buffers. *)

val io_page: io_page typ
(** Implementations of the [Mirage_types.IO_PAGE] signature. *)

val default_io_page: io_page impl
(** The default [Io_page] implementation. *)



(** {2 Block devices} *)


18 changes: 0 additions & 18 deletions lib/mirage_impl_io_page.ml

This file was deleted.

5 changes: 0 additions & 5 deletions lib/mirage_impl_io_page.mli

This file was deleted.

1 change: 0 additions & 1 deletion lib/mirage_impl_kv_ro.ml
Original file line number Diff line number Diff line change
@@ -15,7 +15,6 @@ let crunch dirname = impl @@ object
method module_name = String.Ascii.capitalize name
method! packages =
Key.pure [ package "io-page"; package ~min:"2.0.0" ~build:true "crunch" ]
method! deps = [ abstract Mirage_impl_io_page.default_io_page ]
method! connect _ modname _ = Fmt.strf "%s.connect ()" modname
method! build _i =
let dir = Fpath.(v dirname) in