Hannes Mehnert 943ea45e25 vmm_vmmd, vmm_unix: compute device name (/dev/vmm/solo5-PID) in vmm_unix (depending on host OS); also destroy this device on shutdown (used to be done by solo5-hvt, but that now drops privileges and is no longer able to do this)		2019-01-20 23:02:01 +01:00
..
vmm_asn.ml	vmmd: dump state (unikernel configurations) on create+destroy, restore from state on startup	2019-01-20 22:17:59 +01:00
vmm_asn.mli	vmmd: dump state (unikernel configurations) on create+destroy, restore from state on startup	2019-01-20 22:17:59 +01:00
vmm_commands.ml	stats: pass bridge device through, vmm device name as well to allow arbitrary bhyve statistics, vmmc_local: add stats_add and stats_remove subcommands	2019-01-15 00:25:59 +01:00
vmm_commands.mli	stats: pass bridge device through, vmm device name as well to allow arbitrary bhyve statistics, vmmc_local: add stats_add and stats_remove subcommands	2019-01-15 00:25:59 +01:00
vmm_compress.ml	upgrade to recent decompress	2018-10-29 00:05:55 +01:00
vmm_compress.mli	copyright	2018-10-26 21:29:59 +02:00
vmm_core.ml	Vmm_core.Name: use 'vm:' instead of 'name' as literal string to print	2019-01-20 20:31:40 +01:00
vmm_core.mli	close fd early, no need to carry file descriptors around	2019-01-20 17:43:44 +01:00
vmm_lwt.ml	close fd early, no need to carry file descriptors around	2019-01-20 17:43:44 +01:00
vmm_lwt.mli	close fd early, no need to carry file descriptors around	2019-01-20 17:43:44 +01:00
vmm_resources.ml	rename Vm to Unikernel	2018-11-13 01:02:05 +01:00
vmm_resources.mli	rename Vm to Unikernel	2018-11-13 01:02:05 +01:00
vmm_ring.ml	- Vmm_ring is now polymorph (alows to store log_entry :D)	2018-10-26 21:29:59 +02:00
vmm_ring.mli	- Vmm_ring is now polymorph (alows to store log_entry :D)	2018-10-26 21:29:59 +02:00
vmm_tls.ml	vmmd_tlS_inetd	2018-11-23 21:07:36 +01:00
vmm_tls.mli	vmmd_tlS_inetd	2018-11-23 21:07:36 +01:00
vmm_tls_lwt.ml	lower debug level for end of file	2018-11-01 01:54:10 +01:00
vmm_tls_lwt.mli	vmmd_tls: close sockets appropriately	2018-10-28 19:19:38 +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	vmm_vmmd, vmm_unix: compute device name (/dev/vmm/solo5-PID) in vmm_unix (depending on host OS); also destroy this device on shutdown (used to be done by solo5-hvt, but that now drops privileges and is no longer able to do this)	2019-01-20 23:02:01 +01:00
vmm_unix.mli	vmm_vmmd, vmm_unix: compute device name (/dev/vmm/solo5-PID) in vmm_unix (depending on host OS); also destroy this device on shutdown (used to be done by solo5-hvt, but that now drops privileges and is no longer able to do this)	2019-01-20 23:02:01 +01:00
vmm_vmmd.ml	vmm_vmmd, vmm_unix: compute device name (/dev/vmm/solo5-PID) in vmm_unix (depending on host OS); also destroy this device on shutdown (used to be done by solo5-hvt, but that now drops privileges and is no longer able to do this)	2019-01-20 23:02:01 +01:00
vmm_vmmd.mli	vmmd: dump state (unikernel configurations) on create+destroy, restore from state on startup	2019-01-20 22:17:59 +01:00