Thomas Leonard
2edb088650
Update to latest Debian and opam
...
Reported by Honzoo.
2019-02-01 09:36:08 +00:00
Thomas Leonard
4526375a19
Note that Git versions might have different hashes
2019-01-19 10:32:27 +00:00
Ahmed Al-Sudani
ef09eb50ac
Update last known build hash
2019-01-16 14:17:09 -05:00
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
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
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
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
