package mirage-qubes
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=5628b7f8076543a1d700d3d31c408b905cfad7506e05c97d3f8781c11133e548
sha512=527c9e35bd79311f720f3fe1c55c3628de3bcd20a51c7c63a0e8a13fe1eea4ce32d46ce22b3b5db409280a3549fcb61267844357ced6d23f3f7d49deffaf5c99
CHANGES.md.html
v0.8.3 (2020-06-24)
adapt to tcpip 5.0.0 API changes (#53 @hannesm)
v0.8.2 (2020-05-13)
provide Qubes.DB.got_new_commit to wait for specific commit writes in QubesDB (#52 @linse @hannesm)
v0.8.1 (2020-03-13)
fix compile error with cstruct 5.1 (#48 @talex5, reported by @hannesm)
now using dune, no need for
pkg/pkg.ml
anymore (#50 @hannesm)
v0.8.0 (2019-11-02)
adapt to mirage-protocols tcpip 4.0.0; mirage-xen vchan-xen 5.0.0 (#46 @hannesm)
support initiating qrexec calls (#39 @reynir @yomimono @linse, review by @cfcs, discussion in #35 #36)
add trigger_service_params and service_refused format string_of_type for messages (#43 @yomimono @linse)
GUI window support (#32 #33 #37 #41 @cfcs @reynir @yomimono)
v0.7.0 (2019-03-06)
mirage-qubes-ipv4: compatibility with mirage-protocols 2.0.0 and mirage-net 2.0.0 (#31 @yomimono)
0.6.1 (2019-01-17)
mirage-qubes-ipv4: compatibility with ipaddr 3.0.0 (#29 @hannesm)
upgrade opam files to version 2.0
0.6 (2018-09-16)
qrexec message chunking (#21 @reynir)
more extensive support of Qubes GUI protocol (#17 @cfcs, #20 @reynir)
Adjust to tcpip 3.5.0 and mirage-protocols-lwt 1.4.0 changes mirage-qubes-ipv4 Static_ipv4.Make now requires a Random device and a monotonic clock connect requires a Mclock.t Mirage_protocols_lwt.IPV4 does not define the type alias ethif (#24 @hannesm)
0.5 (2017-06-15)
Split into 2 opam packages: mirage-qubes and mirage-qubes-ipv4
Build with jbuilder and release with topkg
0.4 (2017-01-20)
Include an ipv4 sublibrary for automatically configuring ipv4 settings from qubesdb.
Use and provide interfaces compatible with MirageOS version 3.0.0.
0.3 (2016-05-14)
Replace camlp4 with ppx. Cstruct no longer supports camlp4.
Require a modern vchan in opam metadata.
Less verbose logging from RExec.
Disconnect qrexec clients if handshake fails.