Thomas Gazagnaire 94583013aa miragesdk: simplify the build by using multi-stage Dockerfile ...

Signed-off-by: Thomas Gazagnaire <thomas@gazagnaire.org>

2017-04-14 17:05:36 +02:00

..

ctl.ml

miragesdk: use cap-n-proto instead of custom binary protocol for calf/priv API

2017-04-12 16:29:49 +02:00

ctl.mli

miragesdk: use cap-n-proto instead of custom binary protocol for calf/priv API

2017-04-12 16:29:49 +02:00

inflator.ml

miragesdk: first cut of a MirageSDK

2017-03-29 12:34:48 +02:00

init.ml

miragesdk: be a bit less verbose in debug mode

2017-04-12 12:08:32 +02:00

init.mli

miragesdk: fix the fork/exec init code and add a test

2017-04-06 17:44:24 +02:00

io_fs.ml

miragesdk: first cut of a MirageSDK

2017-03-29 12:34:48 +02:00

IO.ml

miragesdk: be a bit less verbose in debug mode

2017-04-12 12:08:32 +02:00

IO.mli

miragesdk: be a bit less verbose in debug mode

2017-04-12 12:08:32 +02:00

jbuild

miragesdk: simplify the build by using multi-stage Dockerfile

2017-04-14 17:05:36 +02:00

net.ml

miragesdk: add missing Sdk.Net files

2017-04-12 11:04:16 +02:00

net.mli

miragesdk: add missing Sdk.Net files

2017-04-12 11:04:16 +02:00

proto.capnp

miragesdk: use cap-n-proto instead of custom binary protocol for calf/priv API

2017-04-12 16:29:49 +02:00