Comments (6)
As in that report, what's the output of opam list -i
?
from mirage-skeleton.
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
from mirage-skeleton.
This should be fixed in mirage/mirage-platform#117; releasing mirage-xen-2.2.1 with it now.
from mirage-skeleton.
see ocaml/opam-repository#3463 for release
from mirage-skeleton.
After opam update -u
and rebuild, it works fine. Thank you.
from mirage-skeleton.
excellent!
from mirage-skeleton.
Related Issues (20)
- kv_ro examples not working when passed --kv_ro=archive HOT 4
- [Opam] dns -> uri < 1.9.4 unmet dependency HOT 1
- ocamlfind: Package `conduit.mirage' not found HOT 4
- Compiling `static_website_tls` on Mac OS X fails HOT 3
- Networking relented example fails to run (unix & ukvm) HOT 5
- Hello world not working for virtio, ukvm and xen HOT 3
- building the lwt tracing branch fails HOT 4
- Evaluation of Unikernels HOT 4
- `device-usage/block` not linking on ukvm HOT 5
- make depend fails due to pkgconfig not detected HOT 4
- conduit_server/network unikernel crashes with page fault HOT 9
- Tutorial seems (partly) broken [hello] HOT 2
- static_website_tls does not respond on Mac HOT 4
- static web site demo not building under Ubuntu 16.04 with virtio HOT 13
- [aarch64] problem building the static_website_tls HOT 6
- HTTP_Fetch Example Hangs when run as a Unikernel on Solo 5 HOT 4
- A second run of `make` uses the `mirage` tool available into the `duniverse` repository
- device-usage/http-fetch tries ipv4 address even with --ipv6-only HOT 1
- The noop and hello examples donβt build without changes HOT 2
- device-usage/block issues HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. πππ
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google β€οΈ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from mirage-skeleton.