package mirage-qubes-ipv4

  1. Overview
  2. Docs
Implementations of IPv4 stack which reads configuration from QubesDB for MirageOS

Install

Dune Dependency

Authors

Maintainers

Sources

mirage-qubes-0.11.0.tbz
sha256=dca01eefe34acd02bb0df843f6e015e312526432f2babcde099c63759fef9208
sha512=99fcf0fe178cbc2b8017cad688aba3600240bbddde2e06ccb2e622ff2ca5367b2587206045ae14103d9092c9f38662c18e837832ec9a0edee98b32c3c773b4c4

CHANGES.md.html

v0.11.0 (2024-08-10)

  • Add check_memory that triggers a collection if free memory is low, and shutdown that waits for a shutdown request from Qubes (#71, @palainp @hannesm)

v0.10.0 (2024-06-06)

  • Update the package with tcpip.8.1.0 (#67, @palainp, @dinosaure)

v0.9.5 (2024-05-06)

  • Remove leftover ppx_cstruct from lib/dune (@hannesm)

v0.9.4 (2024-04-19)

  • Remove internal Cstruct.t (#65, @reynir @hannesm @palainp)

v0.9.3 (2022-09-07)

  • implement Qrexec protocol version 3 (#60 @reynir @palainp, fixes #38)

v0.9.2 (2021-12-18)

  • avoid deprecated Cstruct.len, use Cstruct.length instead (#64 @hannesm)

  • adapt to tcpip 7.0.0 changes (#64 @hannesm)

v0.9.1 (2020-12-02)

  • RExec: being future compatible, and negotiate protocol version 2 (#56 #57 @reynir)

  • Remove Utils module (#58 @hannesm)

  • RExec: close connection with peer on unknown messages, instead of raising an exception (#61 @reynir)

v0.9.0 (2020-10-22)

  • adapt to mirage-xen 6.0.0 and vchan-xen 6.0.0, only metadata changes (#55 @hannesm)

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.

OCaml

Innovation. Community. Security.