mirage-qubes-ipv4

Implementations of IPv4 stack which reads configuration from QubesDB for MirageOS
Description
  • Qubes.RExec: provide services to other VMs
  • Qubes.GUI: just enough of the GUI protocol so that Qubes accepts the AppVM
  • Qubes.DB: read and write the VM's QubesDB database

See qubes-mirage-skeleton for an example using this library.

Install
Documentation github.com Changelog BSD-2-Clause License Edit opam file
Published
18 Jan 2019
Authors
Maintainers
Sources
mirage-qubes-0.6.1.tbz
md5=205ceb0f2e6359eb9eeaf1db83dfbd2b
Dependencies
ocaml >= "4.03.0"
logs >= "0.5.0"
mirage-types-lwt >= "3.0.0" & < "3.7.0"
lwt
cstruct >= "1.9.0"
mirage-protocols-lwt < "2.0.0"
mirage-clock < "3.0.0"
mirage-random < "2.0.0"
ipaddr >= "3.0.0"
tcpip >= "3.5.0" & < "5.0.0"
mirage-qubes >= "0.6" & < "0.7.0"
jbuilder >= "1.0+beta9"
Reverse Dependencies