Page fault in running "hello world" about mirage-skeleton

[talex5]

As in that report, what's the output of opam list -i?

[garasubo]

I' m sorry. I forget it.

Installed packages for 4.01.0:
base-bigarray             base  Bigarray library distributed with the OCaml comp
base-bytes              legacy  Bytes compatibility library distributed with oca
base-no-ppx               base  A pseudo-library to indicate lack of extension p
base-threads              base  Threads library distributed with the OCaml compi
base-unix                 base  Unix library distributed with the OCaml compiler
camlp4                  4.01.0  Camlp4 is a system for writing extensible parser
cmdliner                 0.9.6  Declarative definition of command line interface
conf-pkg-config            1.0  Virtual package relying on pkg-config installati
cppo                     1.1.2  Equivalent of the C preprocessor for OCaml progr
crunch                   1.3.0  Convert a filesystem into a static OCaml module
cstruct                  1.5.0  access C structures via a camlp4 extension
io-page                  1.2.0  Allocate memory pages suitable for aligned I/O
ipaddr                   2.5.0  IP (and MAC) address representation library
lwt                      2.4.7  A cooperative threads library for OCaml
mirage                   2.2.0  The Mirage library operating system
mirage-clock-unix        1.0.0  A Mirage-compatible Clock library for Unix
mirage-clock-xen         1.0.0  A Mirage-compatible Clock library for Xen
mirage-console           2.1.1  A Mirage-compatible Console library for Xen and 
mirage-profile             0.4  Collect profiling information
mirage-types             2.2.0  Module type definitions for Mirage-compatible ap
mirage-types-lwt         2.2.0  Lwt module type definitions for Mirage-compatibl
mirage-unix              2.2.0  Mirage OS library for Unix compilation
mirage-xen               2.2.0  Mirage OS library for Xen compilation
mirage-xen-minios        0.6.0  Xen MiniOS guest operating system library
oasis                    0.4.5  Architecture for building OCaml libraries and ap
ocaml-data-notation     0.0.11  Store data using OCaml notation
ocaml-src               4.01.0  Compiler sources
ocamlfind                1.5.5  A library manager for OCaml
ocamlify                 0.0.1  Include files in OCaml code
ocamlmod                 0.0.7  Generate OCaml modules from source files
ocplib-endian              0.8  Optimised functions to read and write int16/32/6
optcomp                    1.6  Optional compilation with cpp-like directives
ounit                    2.0.0  Unit testing framework loosely based on HUnit. I
re                       1.2.2  RE is a regular expression library for OCaml
sexplib              111.25.00  Library for serializing OCaml values to and from
shared-memory-ring       1.1.1  Shared memory rings for RPC and bytestream commu
type_conv            111.13.00  Library for building type-driven syntax extensio
xen-evtchn               1.0.5  Xen event channel bindings.
xen-gnt                  2.1.0  Xen grant table bindings
xenstore                 1.2.5  Xenstore protocol clients and server

[avsm]

This should be fixed in mirage/mirage-platform#117; releasing mirage-xen-2.2.1 with it now.

[avsm]

see ocaml/opam-repository#3463 for release

[garasubo]

After opam update -u and rebuild, it works fine. Thank you.

[avsm]

excellent!