Thomas Leonard
78e219da8c
Update Debian base image in Docker build
...
Had stopped working:
Err http://security.debian.org/ jessie/updates/main libxenstore3.0 amd64 4.4.1-9+deb8u10
404 Not Found [IP: 128.61.240.73 80]
Updated from Debian 8 to Debian 9, and from opam to opam2.
2018-11-03 17:27:48 +00:00
Thomas Leonard
6e6ff755eb
Update to newly released version of netchannel
2017-12-16 22:37:41 +00:00
Thomas Leonard
aca156f21b
Update to released shared-memory-ring
2017-11-15 17:28:33 +00:00
Thomas Leonard
b114e569f2
Use Git master for shared-memory-ring and netchannel
...
This adds support for HVM and disposable domains.
Also, update the suggested RAM allocation slightly as 20 MB can be too
small with lots of VMs.
2017-11-09 17:08:59 +00:00
Thomas Leonard
997d538a93
Use released mirage-nat 1.0
2017-10-15 15:24:56 +01:00
Thomas Leonard
794ca35d23
Update Dockerfile to use newer Debian base image
...
Was failing with
```
E: Failed to fetch http://security.debian.org/pool/updates/main/x/xen/libxenstore3.0_4.4.1-9+deb8u8_amd64.deb 404 Not Found [IP: 212.211.132.32 80]
```
2017-09-12 16:57:01 +01:00
Thomas Leonard
630304500f
Update build for Mirage 3
2017-03-18 10:46:06 +00:00
Thomas Leonard
b4079ac861
Update to new mirage-nat API
2017-03-05 17:04:05 +00:00
Thomas Leonard
150208fc72
Pin Docker base image to a specific hash
...
Requested by Joanna Rutkowska.
2017-01-31 09:26:57 +00:00
Thomas Leonard
07ff3d6147
Fix opam-repository commit for reproducible builds
...
Also, display the actual and expected SHA hashes after building.
2017-01-28 14:17:27 +00:00
Thomas Leonard
d6074f2271
Add option to build with Docker
2017-01-09 18:44:30 +00:00
