| .. |
|
dune
|
Vmm_unix.check_commands : unit -> (unit, [> `Msg of string ]) result - which
|
2019-10-27 21:31:37 +01:00 |
|
vmm_asn.ml
|
revise the "--net=yyy" argument to (optionally) contain a service:bridge
|
2020-03-25 16:09:23 +01:00 |
|
vmm_asn.mli
|
versioning: revise it all, use a 'current' in Vmm_commands, all daemons reply with the received version on that particular stream
|
2019-11-11 23:20:03 +01:00 |
|
vmm_commands.ml
|
versioning: revise it all, use a 'current' in Vmm_commands, all daemons reply with the received version on that particular stream
|
2019-11-11 23:20:03 +01:00 |
|
vmm_commands.mli
|
versioning: revise it all, use a 'current' in Vmm_commands, all daemons reply with the received version on that particular stream
|
2019-11-11 23:20:03 +01:00 |
|
vmm_compress.ml
|
update to ipaddr 4.0.0 & decompress 0.9.0
|
2019-07-16 15:11:41 -05:00 |
|
vmm_compress.mli
|
copyright
|
2018-10-26 21:29:59 +02:00 |
|
vmm_core.ml
|
revise the "--net=yyy" argument to (optionally) contain a service:bridge
|
2020-03-25 16:09:23 +01:00 |
|
vmm_core.mli
|
revise the "--net=yyy" argument to (optionally) contain a service:bridge
|
2020-03-25 16:09:23 +01:00 |
|
vmm_json.ml
|
Vmm_unix.check_commands : unit -> (unit, [> `Msg of string ]) result - which
|
2019-10-27 21:31:37 +01:00 |
|
vmm_lwt.ml
|
versioning: revise it all, use a 'current' in Vmm_commands, all daemons reply with the received version on that particular stream
|
2019-11-11 23:20:03 +01:00 |
|
vmm_lwt.mli
|
initial metrics
|
2019-10-12 02:06:38 +02:00 |
|
vmm_resources.ml
|
revise the "--net=yyy" argument to (optionally) contain a service:bridge
|
2020-03-25 16:09:23 +01:00 |
|
vmm_resources.mli
|
vmmd: actually, first check resources, then exec VM, then insert VM
|
2019-01-27 17:20:24 +01:00 |
|
vmm_ring.ml
|
vmm_ring revise implementation
|
2019-10-29 20:42:51 +01:00 |
|
vmm_ring.mli
|
revise log and console subscription protocol, require either since or count
|
2019-10-29 20:17:50 +01:00 |
|
vmm_trie.ml
|
rename Vmm_core.id to Vmm_core.Name.t and make it private - also check constructors to fit into 20 chars ldh (and in Vmm_tls max depth = 10)
|
2018-11-11 01:44:31 +01:00 |
|
vmm_trie.mli
|
rename Vmm_core.id to Vmm_core.Name.t and make it private - also check constructors to fit into 20 chars ldh (and in Vmm_tls max depth = 10)
|
2018-11-11 01:44:31 +01:00 |
|
vmm_unix.ml
|
on linux, be a bit smarter which network device name to use
|
2020-04-25 19:59:19 +02:00 |
|
vmm_unix.mli
|
revise the "--net=yyy" argument to (optionally) contain a service:bridge
|
2020-03-25 16:09:23 +01:00 |
|
vmm_vmmd.ml
|
vmmd: unikernel_info no longer transfers the unikernel image
|
2020-04-25 17:12:41 +02:00 |
|
vmm_vmmd.mli
|
versioning: revise it all, use a 'current' in Vmm_commands, all daemons reply with the received version on that particular stream
|
2019-11-11 23:20:03 +01:00 |
