mirage-qubes-ipv4

Implementations of IPv4 stack which reads configuration from QubesDB for MirageOS
README
  • 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
Maintainers
Sources
mirage-qubes-v0.7.0.tbz
md5=0d9ed83062cbe806672f7c7c3c01b356
Dependencies
ocaml
>= "4.03.0"
logs
>= "0.5.0"
cstruct
>= "1.9.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.7.0"
dune
>= "1.0"
Reverse Dependencies