mirage mirage-qubes issues

mirage / mirage-qubes

Mirage support for writing QubesOS AppVM unikernels

BSD 2-Clause "Simplified" License

63 stars 11 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

update CHANGES

#74 palainp closed 2 months ago
3
update to mirage-crypto 1.0.0 series

#73 hannesm closed 2 months ago
2
update CHANGES

#72 palainp closed 3 months ago
0
Add common code for Qubes unikernels

#71 palainp closed 3 months ago
7
Addition of common code from unikernels?

#70 palainp closed 3 months ago
2
Prepare v0.10.0

#69 dinosaure closed 5 months ago
0
Upgrade the package with tcpip.8.1.0

#68 dinosaure closed 5 months ago
1
update prefix type for mirage-tcpip 8.1.0

#67 palainp closed 5 months ago
1
update CHANGES.md

#66 palainp closed 7 months ago
0
Remove internal Cstruct.t

#65 palainp closed 7 months ago
11
avoid deprecated Cstruct.len, update to tcpip 7.0.0

#64 hannesm closed 2 years ago
0
use tcpip 7.0.0, remove deprecated mirage-protocols dependency

#63 hannesm closed 2 years ago
1
Remove no longer relevant comment

#62 reynir closed 3 years ago
1
RExec: Close connection with peer on unknown msgs

#61 reynir closed 3 years ago
3
WIP: Implement qrexec protocol version 3

#60 reynir closed 2 years ago
3
Update skeleton link in README

#59 talex5 closed 3 years ago
0
move starts_with from Utils to DB -- where it is used

#58 hannesm closed 3 years ago
4
RExec.connect: handle protocol version negotiation

#57 reynir closed 3 years ago
6
RExec: Be future compatible

#56 reynir closed 3 years ago
1
opam: adapt to new vchan-xen and mirage-xen. no code updates needed

#55 hannesm closed 4 years ago
0
Remove unused xen-gnt dependency

#54 talex5 closed 4 years ago
0
adapt to tcpip 5.0.0 changes

#53 hannesm closed 4 years ago
0
Qubesdb with commit

#52 hannesm closed 4 years ago
2
Prepare 0.8.1 release

#51 talex5 closed 4 years ago
0
now using dune, no need for pkg/pkg.ml anymore

#50 hannesm closed 4 years ago
0
GUI.listen: no need for a unit argument

#49 hannesm closed 4 years ago
4
Fix compile error with cstruct 5.1

#48 talex5 closed 4 years ago
0
compilation error with cstruct >= 5.1.0 (@len 0 forbidden)

#47 hannesm closed 4 years ago
8
mirage-protocols 4.0.0 and tcpip 4.0.0 changes

#46 hannesm closed 5 years ago
0
RExec: misbehaving clients can trigger exceptions

#45 reynir closed 3 years ago
2
Travis: Bump OCaml version

#44 reynir closed 5 years ago
0
Update formats

#43 talex5 closed 5 years ago
2
opam: remove the 'build' directive on dune dependency

#42 craigfe closed 5 years ago
0
Change back return type of GUI.listen

#41 reynir closed 5 years ago
1
since we require dune, refer to it in makefile

#40 talex5 closed 5 years ago
0
Rexec client and server

#39 reynir closed 5 years ago
14
Upcoming qrexec protocol changes

#38 reynir closed 2 years ago
1
GUId mvar, see #33

#37 cfcs closed 5 years ago
2
implement an rexec_client; move previous rexec code to rexec_server

#36 yomimono closed 5 years ago
4
Implement `request_service` and some attendant changes

#35 yomimono closed 5 years ago
1
Use /qubes-random-seed

#34 talex5 opened 5 years ago
4
Guid windows 20190307

#33 yomimono closed 5 years ago
3
Guid windows 20190307

#32 cfcs closed 5 years ago
1
compatibility with new networking libraries

#31 yomimono closed 5 years ago
3
remove ocamlfind dependency

#30 hannesm closed 5 years ago
0
mirage-qubes-ipv4: port to ipaddr3 api

#29 hannesm closed 5 years ago
1
Remove dependency on mirage-dev repository

#28 talex5 closed 5 years ago
1
Ipv4 signature

#27 hannesm closed 5 years ago
3
upgrade opam files to opam2

#26 hannesm closed 5 years ago
0
qubesdb sync blocking dom0+domU processes

#25 xaki23 closed 5 years ago
13